| Tue, 27 Feb 2007 00:32:52 +0100 | wenzelm | \usepackage{amssymb}; | changeset | files |
| Mon, 26 Feb 2007 23:18:30 +0100 | wenzelm | moved some non-kernel material to more_thm.ML; | changeset | files |
| Mon, 26 Feb 2007 23:18:29 +0100 | wenzelm | removed obsolete eq_set; | changeset | files |
| Mon, 26 Feb 2007 23:18:28 +0100 | wenzelm | Thm.internalK; | changeset | files |
| Mon, 26 Feb 2007 23:18:27 +0100 | wenzelm | Further operations on type thm, outside the inference kernel. | changeset | files |
| Mon, 26 Feb 2007 23:18:26 +0100 | wenzelm | added more_thm.ML; | changeset | files |
| Mon, 26 Feb 2007 23:18:24 +0100 | wenzelm | moved eq_thm etc. to structure Thm in Pure/more_thm.ML; | changeset | files |