Thu, 09 Jun 2005 16:58:03 +0200 | wenzelm | full Display.pprint_theory for ML toplevel facilitates debugging; | changeset | files |
Thu, 09 Jun 2005 16:56:42 +0200 | wenzelm | simplified is_stale, check_stale; | changeset | files |
Thu, 09 Jun 2005 12:06:38 +0200 | wenzelm | updated; | changeset | files |