| Mon, 09 Oct 1995 14:57:31 +0100 | clasohm | added newline for last line | file | diff | annotate |
| Thu, 28 Jul 1994 11:25:37 +0200 | lcp | ZF/constructor.thy: now specifies intr_elim as its parent; previously had | file | diff | annotate |
| Tue, 16 Nov 1993 14:24:21 +0100 | clasohm | made pseudo theories for all ML files; | file | diff | annotate |