| Fri, 24 Feb 1995 11:52:19 +0100 | clasohm | added ExcludeThm; cleaned up Makefile; fixed isalpha bug (replaced by isalnum) | file | diff | annotate |
| Tue, 20 Dec 1994 13:24:04 +0100 | clasohm | qed is a utility that makes ML files store the defined theories in Isabelle's | file | diff | annotate |