| Thu, 07 Dec 2000 16:23:10 +0100 | kleing | update for changes in Correct.thy and class/is_class defs | changeset | files |
| Thu, 07 Dec 2000 16:22:39 +0100 | kleing | strengthened invariant: current class must be defined | changeset | files |
| Thu, 07 Dec 2000 16:21:47 +0100 | kleing | update for changes in Step.thy | changeset | files |
| Thu, 07 Dec 2000 16:21:27 +0100 | kleing | invoked class must be defined in Invoke C ... | changeset | files |
| Wed, 06 Dec 2000 22:10:11 +0100 | wenzelm | unsymbolize; | changeset | files |
| Wed, 06 Dec 2000 22:08:49 +0100 | wenzelm | left_minus axiom; | changeset | files |
| Wed, 06 Dec 2000 21:53:05 +0100 | wenzelm | tuned; | changeset | files |