| Wed, 22 Nov 2006 15:58:59 +0100 | wenzelm | init: enter inner statement mode, which prevents local notes from being named internally; | changeset | files |
| Wed, 22 Nov 2006 15:58:15 +0100 | wenzelm | more careful declaration of "intros" as Pure.intro; | changeset | files |
| Wed, 22 Nov 2006 12:01:59 +0100 | aspinall | Fix to local file URI syntax. Add first part of lexicalstructure command support. | changeset | files |
| 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 |