src/ZF/Integ/Bin.thy
2007-04-26 wenzelm 2007-04-26 removed lagacy ML files;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-04-02 paulson 2004-04-02 updated treatment of znegative and nat_of
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-09-07 paulson 2002-09-07 conversion of ZF/Integ/{Int,Bin} to Isar scripts
2001-11-14 wenzelm 2001-11-14 tuned;
2001-06-26 paulson 2001-06-26 tidying and consolidating files
2000-08-10 paulson 2000-08-10 installation of cancellation simprocs for the integers
2000-08-07 paulson 2000-08-07 instantiated Cancel_Numerals for "nat" in ZF
2000-06-30 paulson 2000-06-30 removed the mutual recursion from "bin_add"
1999-01-27 paulson 1999-01-27 new typechecking solver for the simplifier
1999-01-13 paulson 1999-01-13 tidying of datatype and inductive definitions
1998-12-28 paulson 1998-12-28 converted to use new primrec section
1998-09-25 paulson 1998-09-25 Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants
1998-09-22 paulson 1998-09-22 new directory for Integers