Wed, 16 Jul 2008 17:37:59 +0200 | berghofe | Added Standardization theory to nominal examples. | changeset | files |
Wed, 16 Jul 2008 17:36:44 +0200 | berghofe | Added Standardization theory. | changeset | files |
Wed, 16 Jul 2008 16:42:13 +0200 | wenzelm | editor model: run interactively for now; | changeset | files |