src/ZF/Main.thy
2000-08-11 paulson 2000-08-11 new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
2000-08-10 paulson 2000-08-10 installation of cancellation simprocs for the integers
2000-06-28 paulson 2000-06-28 finally theory Bin (the integers) is included
1998-09-22 paulson 1998-09-22 deleted erroneous semicolon
1998-07-17 paulson 1998-07-17 as in HOL