| Sat, 28 May 2016 21:38:58 +0200 | wenzelm | clarified 'axiomatization'; | file | diff | annotate |
| Sat, 01 Nov 2014 14:20:38 +0100 | wenzelm | eliminated spurious semicolons; | file | diff | annotate |
| Wed, 29 Aug 2012 12:07:57 +0200 | wenzelm | modernized specifications; | file | diff | annotate |