| Thu, 11 Dec 2008 16:30:35 +0100 | wenzelm | recovered goal_pat; | changeset | files |
| Thu, 11 Dec 2008 16:09:12 +0100 | wenzelm | inhabitance goal is now stated in original form and result contracted -- | changeset | files |
| Thu, 11 Dec 2008 12:02:48 +0100 | wenzelm | tuned signature: pcpodef_proof, pcpodef_proof_cmd etc.; | changeset | files |
| Thu, 11 Dec 2008 11:55:46 +0100 | wenzelm | add_typedef: unfold set_def in tactical proof as well; | changeset | files |
| Thu, 11 Dec 2008 10:41:53 +0100 | wenzelm | merged | changeset | files |
| Thu, 11 Dec 2008 10:41:37 +0100 | wenzelm | Theory.checkpoint before commencing proof; | changeset | files |
| Thu, 11 Dec 2008 00:42:52 +0100 | wenzelm | misc tuning and modernisation; | changeset | files |