Thu, 01 Jul 1999 10:35:35 +0200 | paulson | many new theorems concerning multiplication and (in)equations | file | diff | annotate |
Mon, 24 May 1999 15:54:58 +0200 | paulson | int_Suc->int_Suc_int_1 avoiding confusion with the more useful Bin.int_Suc | file | diff | annotate |
Thu, 01 Oct 1998 18:25:56 +0200 | paulson | new lemmas | file | diff | annotate |
Tue, 29 Sep 1998 15:57:42 +0200 | paulson | many renamings and changes. Simproc for cancelling common terms in relations | file | diff | annotate |
Fri, 25 Sep 1998 13:57:01 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants | file | diff | annotate |