| Mon, 17 Aug 1998 13:09:08 +0200 | paulson | Yet more removal of "goal" commands, especially "goal ZF.thy", so ZF.thy | file | diff | annotate |
| Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |
| Tue, 16 Nov 1993 14:24:21 +0100 | clasohm | made pseudo theories for all ML files; | file | diff | annotate |