src/Pure/Isar/proof_node.ML
Mon, 02 Nov 2009 21:03:41 +0100 wenzelm modernized structure Proof_Node;
Wed, 30 Sep 2009 22:20:58 +0200 wenzelm eliminated redundant bindings;
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Mon, 14 Jul 2008 11:19:38 +0200 wenzelm Proof nodes with linear position and backtracking (replaces obsolete proof_history.ML).
less more (0) tip