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 |