src/ZF/Coind/Values.thy
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2012-03-06 paulson 2012-03-06 mathematical symbols for Isabelle/ZF example theories
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2007-10-07 wenzelm 2007-10-07 modernized specifications; removed legacy ML bindings;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-07-10 paulson 2002-07-10 Fixed quantified variable name preservation for ball and bex (bounded quants) Requires tweaking of other scripts. Also routine tidying.
2001-12-25 paulson 2001-12-25 conversion to Isar
2001-05-21 paulson 2001-05-21 X-symbols for ZF
1999-01-13 paulson 1999-01-13 tidying of datatype and inductive definitions
1999-01-13 paulson 1999-01-13 datatype package improvements
1998-12-28 paulson 1998-12-28 converted to use new primrec section
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-06 clasohm 1996-02-06 expanded tabs
1995-12-09 clasohm 1995-12-09 removed quotes from consts and syntax sections
1995-06-22 clasohm 1995-06-22 removed \...\ inside strings
1995-03-07 lcp 1995-03-07 Replaced rules by defs
1995-02-28 lcp 1995-02-28 New example by Jacob Frost, tidied by lcp