| Tue, 01 Jul 2014 21:07:02 +0200 | wenzelm | clarified "axiomatization" -- minor rewording of this delicate concept; | changeset | files |
| Tue, 01 Jul 2014 20:47:25 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 01 Jul 2014 20:43:51 +0200 | wenzelm | more on ML options; | changeset | files |