lcp [Tue, 09 Nov 1993 16:31:03 +0100] rev 16
Target "test" now depends on examples files
clasohm [Tue, 09 Nov 1993 13:30:13 +0100] rev 15
renamed meson-test.ML to mesontest.ML,
used exact theory names for use_thy
lcp [Tue, 09 Nov 1993 11:08:13 +0100] rev 14
co-induction example courtesy Jacob Frost
nipkow [Wed, 03 Nov 1993 19:02:17 +0100] rev 13
added append "@"
Proved @ associativ
wenzelm [Mon, 25 Oct 1993 14:36:27 +0100] rev 12
added white-space;
made ~: a fake infix;
wenzelm [Mon, 25 Oct 1993 14:35:17 +0100] rev 11
made ~= a fake infix;
clasohm [Fri, 22 Oct 1993 13:36:28 +0100] rev 10
changes for new Readthy
clasohm [Sun, 17 Oct 1993 17:33:40 +0100] rev 9
renamed: hol-rec.* to rec.*, lex-prod.* to lexprod.*, prop-log.* to pl.*
clasohm [Sun, 17 Oct 1993 17:23:51 +0100] rev 8
renamed utermlemmas.* to utlemmas.*
wenzelm [Fri, 08 Oct 1993 13:46:13 +0100] rev 7
removed THE;