| 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 |
| Sat, 08 Aug 1998 14:00:56 +0200 | nipkow | List now contains some lexicographic orderings. | file | diff | annotate |
| Thu, 06 Aug 1998 15:48:13 +0200 | paulson | even more tidying of Goal commands | file | diff | annotate |
| Wed, 15 Jul 1998 14:19:02 +0200 | paulson | More tidying and removal of "\!\!... from Goal commands | file | diff | annotate |
| Wed, 15 Jul 1998 10:15:13 +0200 | paulson | Removal of leading "\!\!..." from most Goal commands | file | diff | annotate |
| Sun, 12 Jul 1998 11:49:17 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Wed, 22 Apr 1998 14:06:05 +0200 | nipkow | Modifications due to improved simplifier. | file | diff | annotate |
| Mon, 30 Mar 1998 21:08:05 +0200 | oheimb | added wf_converse_trancl, adapted proof of wfrec | file | diff | annotate |