| Wed, 31 May 2000 11:56:28 +0200 | paulson | moved some theorems to Finite.ML | file | diff | annotate |
| Wed, 24 May 2000 18:43:16 +0200 | paulson | tidying for overloaded 0, setsum, etc. | file | diff | annotate |
| Mon, 22 May 2000 12:30:07 +0200 | paulson | Proving that multisets are partially ordered | file | diff | annotate |
| Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Fri, 03 Sep 1999 14:54:08 +0200 | wenzelm | no_qed; | file | diff | annotate |
| Fri, 29 Jan 1999 16:26:12 +0100 | paulson | expandshort | file | diff | annotate |
| Fri, 11 Dec 1998 10:41:53 +0100 | paulson | new Close_locale synatx | file | diff | annotate |
| Fri, 27 Nov 1998 17:00:30 +0100 | nipkow | At last: linear arithmetic for nat! | file | diff | annotate |
| Wed, 28 Oct 1998 13:25:09 +0100 | nipkow | Some more proofs. | file | diff | annotate |
| Fri, 23 Oct 1998 20:44:34 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | file | diff | annotate |
| Fri, 09 Oct 1998 11:16:04 +0200 | nipkow | Multisets at last! | file | diff | annotate |