Thu, 21 Mar 1996 11:06:59 +0100 | paulson | name_thm no longer takes a theory argument, as the | changeset | files |
Thu, 21 Mar 1996 11:05:34 +0100 | paulson | Printing & string functions moved to display.ML | changeset | files |
Thu, 21 Mar 1996 11:04:36 +0100 | paulson | Now loads deriv.ML | changeset | files |