| Sun, 29 May 2016 15:40:25 +0200 | wenzelm | clarified check_open_spec / read_open_spec; | changeset | files |
| Sat, 28 May 2016 23:55:41 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 May 2016 21:38:58 +0200 | wenzelm | clarified 'axiomatization'; | changeset | files |
| 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 |