| Wed, 07 Jun 2006 16:54:30 +0200 | haftmann | removed 'primitive definitions' added (non)strict generation, minor fixes | changeset | files |
| Wed, 07 Jun 2006 16:53:31 +0200 | haftmann | fixed typo | changeset | files |
| Wed, 07 Jun 2006 02:04:20 +0200 | wenzelm | * Theory syntax: some popular names (e.g. "class", "if") are now keywords. | changeset | files |
| Wed, 07 Jun 2006 02:01:36 +0200 | wenzelm | Schematic invocation of locale expression in proof context. | changeset | files |
| Wed, 07 Jun 2006 02:01:35 +0200 | wenzelm | added invoke.ML; | changeset | files |
| Wed, 07 Jun 2006 02:01:34 +0200 | wenzelm | added locale_insts; | changeset | files |
| Wed, 07 Jun 2006 02:01:33 +0200 | wenzelm | renamed Type.(un)varifyT to Logic.(un)varifyT; | changeset | files |