src/Pure/Tools/named_thms.ML
Fri, 28 Oct 2011 23:41:16 +0200 wenzelm tuned Named_Thms: proper binding;
Mon, 20 Sep 2010 16:05:25 +0200 wenzelm renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
Fri, 23 Apr 2010 18:30:01 +0200 wenzelm Item_Net/Named_Thms: export efficient member operation;
Sun, 08 Nov 2009 16:30:41 +0100 wenzelm adapted Generic_Data, Proof_Data;
Thu, 05 Nov 2009 20:40:16 +0100 wenzelm scalable version of Named_Thms, using Item_Net;
Thu, 29 Oct 2009 16:05:51 +0100 wenzelm Named_Thms is not scalable;
Thu, 02 Jul 2009 17:33:36 +0200 wenzelm renamed NamedThmsFun to Named_Thms;
Sun, 15 Mar 2009 15:59:44 +0100 wenzelm simplified attribute setup;
Wed, 21 Jan 2009 16:47:04 +0100 haftmann binding replaces bstring
Sat, 19 Apr 2008 12:04:17 +0200 wenzelm NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name;
Tue, 25 Mar 2008 21:01:03 +0100 wenzelm add dynamic fact binding;
Thu, 20 Mar 2008 16:04:34 +0100 wenzelm export add/del_thm;
Sat, 06 Oct 2007 16:50:04 +0200 wenzelm simplified interfaces for outer syntax;
Wed, 01 Aug 2007 16:55:45 +0200 wenzelm added toplevel print command;
Sun, 29 Jul 2007 14:30:03 +0200 wenzelm Named collections of theorems in canonical order.
less more (0) tip