| Sat, 01 Mar 2008 14:10:15 +0100 | wenzelm | misc cleanup of embedded ML code; | changeset | files |
| Sat, 01 Mar 2008 14:10:14 +0100 | wenzelm | added @{const} antiquotation; | changeset | files |
| Sat, 01 Mar 2008 14:10:13 +0100 | wenzelm | use more antiquotations; | changeset | files |
| 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 |