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 |