Fri, 12 Feb 1999 13:55:54 +0100 | wenzelm | pretty_thm: quote terms (separately); | changeset | files |
Thu, 11 Feb 1999 21:25:21 +0100 | wenzelm | Symbol.output subject to print mode; | changeset | files |
Thu, 11 Feb 1999 21:19:56 +0100 | wenzelm | -m isabelle_font; | changeset | files |