| Fri, 27 Jan 2006 19:03:05 +0100 | wenzelm | added ProofContext.pprint_context (depends on ProofContext.debug); | changeset | files |
| Fri, 27 Jan 2006 19:03:02 +0100 | wenzelm | moved theorem tags from Drule to PureThy; | changeset | files |
| Fri, 27 Jan 2006 18:29:33 +0100 | paulson | tidying up SPASS output | changeset | files |