| Tue, 10 Oct 2006 11:41:29 +0200 | haftmann | *** empty log message *** | changeset | files |
| Tue, 10 Oct 2006 11:38:43 +0200 | haftmann | initial draft | changeset | files |
| Tue, 10 Oct 2006 10:36:14 +0200 | haftmann | fixed intendation | changeset | files |
| Tue, 10 Oct 2006 10:35:24 +0200 | haftmann | cleanup basic HOL bootstrap | changeset | files |
| Tue, 10 Oct 2006 10:34:43 +0200 | haftmann | added legacy tactic | changeset | files |
| Tue, 10 Oct 2006 10:34:42 +0200 | haftmann | purged some ML legacy | changeset | files |
| Tue, 10 Oct 2006 10:34:41 +0200 | haftmann | added eq_True eq_False True_implies_equals to extraction_expand | changeset | files |