| Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Tue, 20 Feb 2001 18:53:28 +0100 | oheimb | made split_all_tac safe introducing safe_full_simp_tac, EXISTING PROOFS MAY FAIL | file | diff | annotate |
| Sat, 10 Feb 2001 08:52:41 +0100 | ballarin | Changes to HOL/Algebra: | file | diff | annotate |
| Mon, 22 Jan 2001 17:26:19 +0100 | paulson | deleted several obsolete lemmas from NatArith.ML | file | diff | annotate |
| Mon, 22 Jan 2001 11:45:29 +0100 | paulson | tided | file | diff | annotate |
| Fri, 10 Nov 2000 19:15:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Apr 2000 15:16:32 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 11 Nov 1999 10:25:29 +0100 | paulson | tidied | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |