| Sat, 28 May 2016 17:35:12 +0200 | wenzelm | clarified axiomatization; | changeset | files |
| Sat, 28 May 2016 17:34:28 +0200 | wenzelm | clarified axiomatization: proper variables (!); | changeset | files |
| Sun, 29 May 2016 14:43:18 +0200 | haftmann | explicit check that abstract constructors cannot be part of official interface | changeset | files |