| Thu, 08 Nov 2007 22:19:43 +0100 | wenzelm | avoid "import" as identifier, which is a keyword in Alice; | changeset | files |
| Thu, 08 Nov 2007 20:52:27 +0100 | wenzelm | tuned presentation; | changeset | files |
| Thu, 08 Nov 2007 20:09:17 +0100 | wenzelm | avoid implicit use of prems; | changeset | files |
| Thu, 08 Nov 2007 20:08:11 +0100 | wenzelm | where/of: do not allow schematic variables here! | changeset | files |