wenzelm [Mon, 18 Nov 1996 17:27:59 +0100] rev 2195
added Syntax/symbol_font.ML;
paulson [Mon, 18 Nov 1996 16:34:37 +0100] rev 2194
Removal of an obsolete result, and authentication of
B to A
paulson [Mon, 18 Nov 1996 16:30:06 +0100] rev 2193
Changed subst_bounds to subst_bound, to run faster
paulson [Mon, 18 Nov 1996 16:28:40 +0100] rev 2192
Optimizations: removal of polymorphic equality; one-argument case
for subst_bounds
paulson [Mon, 18 Nov 1996 16:27:34 +0100] rev 2191
Speedups involving norm
paulson [Mon, 18 Nov 1996 16:26:43 +0100] rev 2190
Introduction of structure Int
paulson [Mon, 18 Nov 1996 16:26:08 +0100] rev 2189
Updated and clearer(?) instructions
nipkow [Thu, 14 Nov 1996 16:01:36 +0100] rev 2188
Modified formal of thms in html file.
wenzelm [Thu, 14 Nov 1996 14:38:51 +0100] rev 2187
removed 'open Syntax Type';
wenzelm [Thu, 14 Nov 1996 14:32:01 +0100] rev 2186
removed silly message;