| Thu, 19 Apr 2012 10:16:51 +0200 | dropped dead code; | file | diff | annotate |
| Mon, 19 Mar 2012 21:10:33 +0100 | moved some legacy stuff; | file | diff | annotate |
| Tue, 13 Mar 2012 20:04:24 +0100 | more explicit indication of def names; | file | diff | annotate |
| Sat, 14 Jan 2012 17:45:04 +0100 | discontinued old-style Term.list_all_free in favour of plain Logic.all; | file | diff | annotate |
| Wed, 14 Dec 2011 12:18:19 +0100 | eliminated dead code; | file | diff | annotate |
| Wed, 19 Oct 2011 15:41:12 +0200 | tuned legacy signature; | file | diff | annotate |
| Wed, 10 Aug 2011 20:53:43 +0200 | old term operations are legacy; | file | diff | annotate |
| Sat, 16 Apr 2011 16:15:37 +0200 | modernized structure Proof_Context; | file | diff | annotate |
| Fri, 08 Apr 2011 13:31:16 +0200 | explicit structure Syntax_Trans; | file | diff | annotate |
| Sun, 12 Sep 2010 19:04:02 +0200 | eliminated aliases of Type.constraint; | file | diff | annotate |
| Mon, 12 Jul 2010 21:38:37 +0200 | moved misc legacy stuff from OldGoals to Misc_Legacy; | file | diff | annotate |