Fri, 07 Mar 1997 14:31:00 +0100 | wenzelm | now sans serifs; | changeset | files |
Fri, 07 Mar 1997 13:47:37 +0100 | wenzelm | tuned; | changeset | files |
Fri, 07 Mar 1997 13:21:15 +0100 | wenzelm | *** empty log message *** | changeset | files |
Fri, 07 Mar 1997 11:49:04 +0100 | wenzelm | build - compile parts of the Isabelle system; | changeset | files |
Fri, 07 Mar 1997 11:48:46 +0100 | wenzelm | moved settings comment to build; | changeset | files |
Fri, 07 Mar 1997 10:26:02 +0100 | paulson | Removed some polymorphic equality tests | changeset | files |