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