src/Pure/Isar/proof_node.ML
2009-11-02 ago modernized structure Proof_Node;
2009-09-30 ago eliminated redundant bindings;
2009-01-21 ago removed Ids;
2008-07-14 ago Proof nodes with linear position and backtracking (replaces obsolete proof_history.ML).