Wed, 22 Nov 2006 10:20:18 +0100 | haftmann | added code lemmas | changeset | files |
Wed, 22 Nov 2006 10:20:17 +0100 | haftmann | does not import Hilber_Choice any longer | changeset | files |
Wed, 22 Nov 2006 10:20:16 +0100 | haftmann | cleanup | changeset | files |
Wed, 22 Nov 2006 10:20:15 +0100 | haftmann | incorporated structure HOList into HOLogic | changeset | files |
Wed, 22 Nov 2006 10:20:12 +0100 | haftmann | dropped eq const | changeset | files |
Wed, 22 Nov 2006 10:20:11 +0100 | haftmann | removed Extraction dependency | changeset | files |