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