Mon, 09 Mar 1998 16:06:46 +0100 | wenzelm | replaced Pure/Syntax/symbol_font.ML by Pure/Syntax/symbol.ML; | changeset | files |
Mon, 09 Mar 1998 16:05:34 +0100 | wenzelm | replaced Pure/Syntax/symbol_font.ML by Pure/Syntax/symbol.ML; | changeset | files |
Sat, 07 Mar 1998 16:29:29 +0100 | nipkow | Removed `addsplits [expand_if]' | changeset | files |