| Mon, 14 Jul 2008 11:19:39 +0200 | wenzelm | removed obsolete history commands; | changeset | files |
| Mon, 14 Jul 2008 11:19:38 +0200 | wenzelm | Proof nodes with linear position and backtracking (replaces obsolete proof_history.ML). | changeset | files |
| Mon, 14 Jul 2008 11:19:37 +0200 | wenzelm | obsolete (cf. proof_node.ML); | changeset | files |
| 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 |
| Mon, 14 Jul 2008 11:04:42 +0200 | haftmann | unified curried gcd, lcm, zgcd, zlcm | changeset | files |