| Tue, 16 Oct 2012 15:14:12 +0200 | wenzelm | more informative errors for 'proof' and 'apply' steps; | file | diff | annotate |
| Mon, 02 Nov 2009 21:03:41 +0100 | wenzelm | modernized structure Proof_Node; | file | diff | annotate |
| Wed, 30 Sep 2009 22:20:58 +0200 | wenzelm | eliminated redundant bindings; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 14 Jul 2008 11:19:38 +0200 | wenzelm | Proof nodes with linear position and backtracking (replaces obsolete proof_history.ML). | file | diff | annotate |