| Thu, 13 Nov 2008 21:38:02 +0100 | wenzelm | tuned section arrangement; | changeset | files |
| Thu, 13 Nov 2008 21:37:18 +0100 | wenzelm | moved section "Proof method expressions" to proof chapter; | changeset | files |
| Thu, 13 Nov 2008 21:34:55 +0100 | wenzelm | more on mixfix annotations (updated material from old ref manual); | changeset | files |