src/Pure/Isar/proof_node.ML
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-07-14 wenzelm 2008-07-14 Proof nodes with linear position and backtracking (replaces obsolete proof_history.ML).