| Mon, 10 Feb 2014 22:08:18 +0100 | wenzelm | discontinued axiomatic 'classes', 'classrel', 'arities'; | changeset | files |
| Mon, 10 Feb 2014 22:07:50 +0100 | wenzelm | updated keywords; | changeset | files |
| Mon, 10 Feb 2014 21:03:28 +0100 | wenzelm | more explicit axiomatization; | changeset | files |