| Fri, 07 Nov 2014 23:35:13 +0100 | wenzelm | tuned outline; | changeset | files |
| Fri, 07 Nov 2014 22:33:54 +0100 | wenzelm | tuned syntax -- separate tokens; | changeset | files |
| Fri, 07 Nov 2014 22:15:51 +0100 | wenzelm | eliminated pointless check -- command definitions are subject to theory context; | changeset | files |