Mon, 18 Nov 1996 17:27:59 +0100 | wenzelm | added Syntax/symbol_font.ML; | changeset | files |
Mon, 18 Nov 1996 16:34:37 +0100 | paulson | Removal of an obsolete result, and authentication of | changeset | files |
Mon, 18 Nov 1996 16:30:06 +0100 | paulson | Changed subst_bounds to subst_bound, to run faster | changeset | files |