| 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 |
| Wed, 07 Jun 2006 02:01:32 +0200 | wenzelm | added 'if' and 'for' keywords; | changeset | files |
| Wed, 07 Jun 2006 02:01:31 +0200 | wenzelm | added facts_of; | changeset | files |