Wed, 19 Dec 2001 11:13:27 +0100 | paulson | separation of the AC part of Main into Main_ZFC, plus a few new lemmas | changeset | files |
Wed, 19 Dec 2001 11:07:38 +0100 | paulson | hyperlinks in DVI mode | changeset | files |
Wed, 19 Dec 2001 00:30:13 +0100 | wenzelm | generalize type variables properly: start with occurrences in objects | changeset | files |
Wed, 19 Dec 2001 00:28:27 +0100 | wenzelm | tuned interface of ProofContext.generalize; | changeset | files |
Wed, 19 Dec 2001 00:26:39 +0100 | wenzelm | HOL/IMP: include session graph; | changeset | files |
Wed, 19 Dec 2001 00:26:19 +0100 | wenzelm | updated; | changeset | files |