src/HOL/Induct/QuoDataType.thy
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