| Wed, 02 Aug 2000 16:07:32 +0200 | paulson | coercion "intify" to remove type constraints from integer algebraic laws | file | diff | annotate |
| Tue, 01 Aug 2000 15:28:21 +0200 | paulson | natify, a coercion to reduce the number of type constraints in arithmetic | file | diff | annotate |
| Fri, 14 Jul 2000 13:39:03 +0200 | paulson | changed the quotient syntax from / to // | file | diff | annotate |
| Mon, 07 Feb 2000 15:14:02 +0100 | paulson | tidied some proofs | file | diff | annotate |
| Wed, 27 Jan 1999 10:31:31 +0100 | paulson | new typechecking solver for the simplifier | file | diff | annotate |
| Fri, 23 Oct 1998 20:44:34 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | 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 |