src/HOL/Induct/QuoDataType.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-05-27 wenzelm 2006-05-27 tuned;
2005-12-22 wenzelm 2005-12-22 tuned induct proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-09-02 paulson 2004-09-02 new example of a quotiented nested data type
2004-09-01 paulson 2004-09-01 new "respects" syntax for quotienting
2004-08-20 paulson 2004-08-20 new examples
2004-08-06 nipkow 2004-08-06 undid UN/INT syntax
2004-04-23 paulson 2004-04-23 congruent2 now allows different equiv relations
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2004-04-08 paulson 2004-04-08 freeness theorems and induction rule
2004-04-07 paulson 2004-04-07 IsaMakefile