| Thu, 13 Nov 2008 21:40:30 +0100 | wenzelm | added bind_thm, bind_thms; | changeset | files |
| Thu, 13 Nov 2008 21:40:00 +0100 | wenzelm | tuned section "Incorporating ML code"; | changeset | files |
| Thu, 13 Nov 2008 21:38:44 +0100 | wenzelm | tuned section "Oracles"; | changeset | files |
| 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 |
| Thu, 13 Nov 2008 21:34:23 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 13 Nov 2008 21:33:56 +0100 | wenzelm | moved section "Document preparation" to front; | changeset | files |