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 |