| Tue, 27 Jan 2009 15:47:22 +0100 | wenzelm | plain non-dependent types; | changeset | files |
| Tue, 27 Jan 2009 15:22:46 +0100 | wenzelm | turned IsarDocument into trait for IsabelleProcess; | changeset | files |
| Tue, 27 Jan 2009 14:45:52 +0100 | wenzelm | HOL_USEDIR_OPTIONS: -Q false, giving up parallel proofs for now due to memory shortage; | changeset | files |