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