| Thu, 28 Feb 2008 18:59:22 +0100 | wenzelm | unused_thms: print via official context (ProofContext.pretty_fact), | changeset | files |
| Thu, 28 Feb 2008 17:34:15 +0100 | berghofe | Added function for finding unused theorems. | changeset | files |
| Thu, 28 Feb 2008 17:33:35 +0100 | berghofe | Added unused_thms command. | changeset | files |
| Thu, 28 Feb 2008 16:54:56 +0100 | haftmann | import all 'special code' types | changeset | files |