Mon, 14 Jul 2008 11:19:36 +0200 | wenzelm | removed Isar/proof_history.ML; | changeset | files |
Mon, 14 Jul 2008 11:04:47 +0200 | haftmann | added further simple interfaces | changeset | files |
Mon, 14 Jul 2008 11:04:46 +0200 | haftmann | simpsets as pre/postprocessors; generic preprocessor now named function transformators | changeset | files |