src/ZF/Induct/Comb.thy
2010-03-02 wenzelm 2010-03-02 proper (type_)notation;
2010-02-10 wenzelm 2010-02-10 modernized translations;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2007-10-07 wenzelm 2007-10-07 modernized specifications;
2005-12-15 wenzelm 2005-12-15 improved proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-04-27 paulson 2005-04-27 minor tidying
2005-04-19 paulson 2005-04-19 syntax fix
2002-09-20 paulson 2002-09-20 shortened a proof
2001-12-29 wenzelm 2001-12-29 tuned document sources;
2001-12-20 paulson 2001-12-20 converted some ZF/Induct examples to Isar
2001-11-07 paulson 2001-11-07 reorganization of the ZF examples