src/ZF/Tools/primrec_package.ML
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2002-02-12 wenzelm 2002-02-12 got rid of explicit marginal comments (now stripped earlier from input);
2001-11-15 wenzelm 2001-11-15 avoid handle _;
2001-11-14 wenzelm 2001-11-14 fix path prefix;
2001-11-14 wenzelm 2001-11-14 adapted primrec/datatype to Isar;
2000-07-13 wenzelm 2000-07-13 adapted PureThy.add_defs_i;
2000-06-28 paulson 2000-06-28 no longer depends upon a prior "open Ind_Syntax" from elsewhere
2000-05-05 wenzelm 2000-05-05 use Sign.simple_read_term;
2000-03-13 wenzelm 2000-03-13 adapted to new PureThy.add_thms etc.;
1999-10-21 wenzelm 1999-10-21 proper handling of axioms / defs;
1999-01-19 paulson 1999-01-19 removal of the (thm list) argument of mk_cases
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1999-01-06 paulson 1999-01-06 induct_tac and exhaust_tac
1998-12-28 paulson 1998-12-28 new primrec package