| Wed, 22 Nov 2006 10:22:04 +0100 | haftmann | completed class parameter handling in axclass.ML | changeset | files |
| Wed, 22 Nov 2006 10:21:17 +0100 | haftmann | added Isar syntax for adding parameters to axclasses | changeset | files |
| Wed, 22 Nov 2006 10:20:22 +0100 | haftmann | forced name prefix for class operations | changeset | files |
| Wed, 22 Nov 2006 10:20:20 +0100 | haftmann | example tuned | changeset | files |
| Wed, 22 Nov 2006 10:20:19 +0100 | haftmann | no explicit check for theory Nat | changeset | files |
| 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 |
| Wed, 22 Nov 2006 10:20:09 +0100 | haftmann | final draft | changeset | files |
| Tue, 21 Nov 2006 20:58:15 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 21 Nov 2006 20:48:11 +0100 | wenzelm | theorem(_i): note assms of statement; | changeset | files |