| 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 |