| Wed, 23 Sep 1998 10:11:18 +0200 | paulson | tidying and deleting needless parentheses | file | diff | annotate |
| Mon, 21 Sep 1998 23:12:31 +0200 | oheimb | added wrapper for bspec | file | diff | annotate |
| Tue, 15 Sep 1998 15:04:07 +0200 | paulson | From Compl(A) to -A | file | diff | annotate |
| Fri, 11 Sep 1998 16:25:40 +0200 | paulson | fixed PROOF FAILED | file | diff | annotate |
| Thu, 10 Sep 1998 17:27:15 +0200 | paulson | tidied | file | diff | annotate |
| Wed, 19 Aug 1998 10:34:31 +0200 | paulson | Misc changes | file | diff | annotate |
| Thu, 06 Aug 1998 15:47:26 +0200 | paulson | A higher-level treatment of LeadsTo, minimizing use of "reachable" | file | diff | annotate |
| Wed, 05 Aug 1998 18:20:25 +0200 | paulson | Indentation, comments | file | diff | annotate |
| Wed, 05 Aug 1998 10:57:25 +0200 | paulson | New record type of programs | file | diff | annotate |
| Tue, 04 Aug 1998 10:50:04 +0200 | paulson | Tidying | file | diff | annotate |
| Fri, 31 Jul 1998 18:46:55 +0200 | paulson | Tidied; uses records | file | diff | annotate |
| Thu, 02 Jul 1998 16:53:55 +0200 | paulson | Uncurried functions LeadsTo and reach | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Fri, 03 Apr 1998 12:34:33 +0200 | paulson | New UNITY theory | file | diff | annotate |