Thu, 21 Mar 1996 11:09:47 +0100 | paulson | For the new version of name_thm. Now the same theorem | changeset | files |
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 |