| Fri, 06 Sep 1996 11:56:12 +0200 | paulson | Improved error handling: if there are syntax or type-checking | file | diff | annotate |
| Tue, 05 Mar 1996 15:52:59 +0100 | paulson | Addition of oracles | file | diff | annotate |
| Thu, 29 Feb 1996 18:53:34 +0100 | paulson | New file of just the theory primitives | file | diff | annotate |