Fri, 03 Feb 1995 12:32:14 +0100 | clasohm | added specification of csh as script interpreter | 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 |