Sat, 24 Aug 2002 18:45:21 +0200 | paulson | conversion of ZF/IntDiv to Isar script | file | diff | annotate |
Mon, 22 Oct 2001 12:11:00 +0200 | paulson | deleted the redundant first argument of adjust(a,b) | file | diff | annotate |
Mon, 21 May 2001 14:52:27 +0200 | paulson | the rest of integer division | file | diff | annotate |
Thu, 14 Sep 2000 11:34:13 +0200 | paulson | a bit more of division | file | diff | annotate |
Thu, 07 Sep 2000 17:36:37 +0200 | paulson | a number of new theorems | 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 |