| Tue, 27 Feb 2007 11:10:35 +0100 | paulson | gensym no longer includes ' or _ in names (trailing _ is bad) | changeset | files |
| Tue, 27 Feb 2007 00:33:49 +0100 | wenzelm | tuned document; | changeset | files |
| 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 |