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 |