| Tue, 29 Sep 1998 12:00:52 +0200 | nipkow | new: wfUNIVI | file | diff | annotate |
| Mon, 21 Sep 1998 23:12:31 +0200 | oheimb | added wrapper for bspec | file | diff | annotate |
| Thu, 10 Sep 1998 17:23:51 +0200 | paulson | New theorem wf_not_sym and well-formed wf_asym | file | diff | annotate |
| Wed, 19 Aug 1998 10:27:49 +0200 | paulson | tidied | file | diff | annotate |
| Tue, 18 Aug 1998 10:24:54 +0200 | paulson | added comment | file | diff | annotate |
| Fri, 14 Aug 1998 12:03:01 +0200 | paulson | expandshort | file | diff | annotate |
| Thu, 13 Aug 1998 18:14:26 +0200 | paulson | even more tidying of Goal commands | file | diff | annotate |