| Mon, 02 May 2011 21:42:36 +0200 | wenzelm | eliminated external rail executable; | changeset | files |
| Mon, 02 May 2011 21:41:39 +0200 | wenzelm | removed obsolete rail diagrams (which were about old-style theory syntax); | changeset | files |
| Mon, 02 May 2011 21:33:21 +0200 | wenzelm | moved material about old codegen to isar-ref manual; | changeset | files |
| Mon, 02 May 2011 20:34:34 +0200 | wenzelm | eliminated some duplicate "def" positions; | changeset | files |
| Mon, 02 May 2011 20:14:19 +0200 | wenzelm | 'axiomatization' is global; | changeset | files |
| Mon, 02 May 2011 19:55:24 +0200 | wenzelm | discontinued old version of old HOL manual; | changeset | files |