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 |