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 |