Changes by: Nataly Novak (nnovak at gc.cuny.edu)
Date: 2004-12-30 10:47:38 -0800 (Thu, 30 Dec 2004)
Revision: 6369
Log message:
We are exploring another approach - instead of giving universal rules for cases
analysis and fixpoint we want to generate specific instances of these rules for
individual inductive types automatically.