1996-11-18 paulson [Mon, 18 Nov 1996 16:26:08 +0100] rev 2189
Updated and clearer(?) instructions
README

1996-11-14 nipkow [Thu, 14 Nov 1996 16:01:36 +0100] rev 2188
Modified formal of thms in html file.
src/Pure/Thy/thy_read.ML

1996-11-14 wenzelm [Thu, 14 Nov 1996 14:38:51 +0100] rev 2187
removed 'open Syntax Type';
src/Pure/sign.ML

1996-11-14 wenzelm [Thu, 14 Nov 1996 14:32:01 +0100] rev 2186
removed silly message;
src/Pure/Syntax/parser.ML

1996-11-14 wenzelm [Thu, 14 Nov 1996 14:31:29 +0100] rev 2185
subsig tuning;
src/Pure/sign.ML

1996-11-13 wenzelm [Wed, 13 Nov 1996 10:59:53 +0100] rev 2184
tuned subsig;
src/Pure/sign.ML

1996-11-13 paulson [Wed, 13 Nov 1996 10:47:08 +0100] rev 2183 Isabelle94-7
Updated version and date
src/Pure/ROOT.ML

1996-11-13 paulson [Wed, 13 Nov 1996 10:42:50 +0100] rev 2182
Removal of polymorphic equality via mem, subset, eq_set, etc
src/Pure/library.ML src/Pure/term.ML src/Pure/thm.ML src/Pure/type.ML

1996-11-13 paulson [Wed, 13 Nov 1996 10:41:50 +0100] rev 2181
In-lined the one function call to normTsh
src/Pure/envir.ML

1996-11-13 paulson [Wed, 13 Nov 1996 10:38:08 +0100] rev 2180
Removal of polymorphic equality via mem, subset, eq_set, etc
src/Pure/display.ML src/Pure/drule.ML src/Pure/sign.ML