Fri, 18 Aug 2000 18:46:02 +0200 | paulson | X-symbols for ordinal, cardinal, integer arithmetic | file | diff | annotate |
Fri, 11 Aug 2000 13:27:17 +0200 | paulson | new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers | file | diff | annotate |
Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | file | diff | annotate |
Mon, 07 Aug 2000 10:29:54 +0200 | paulson | instantiated Cancel_Numerals for "nat" in ZF | file | diff | annotate |
Wed, 02 Aug 2000 16:07:32 +0200 | paulson | coercion "intify" to remove type constraints from integer algebraic laws | file | diff | annotate |
Fri, 14 Jul 2000 13:39:03 +0200 | paulson | changed the quotient syntax from / to // | file | diff | annotate |
Fri, 25 Sep 1998 13:18:07 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants | file | diff | annotate |