src/Pure/item_net.ML
Wed, 09 May 2018 15:04:30 +0200 wenzelm proper merge of items without term index (amending b969263fcf02);
Wed, 13 Jan 2016 15:58:39 +0100 wenzelm tuned signature;
Sun, 16 Aug 2015 15:36:06 +0200 wenzelm delete precisely the added rules;
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Tue, 25 Feb 2014 12:53:08 +0100 wenzelm optimize special case according to Library.merge (see also 8fbc355100f2);
Thu, 26 Sep 2013 16:52:24 +0200 lammich Added Item_Net.retrieve_matching
Sat, 14 May 2011 21:42:17 +0200 wenzelm slightly more efficient claset operations, using Item_Net to maintain rules in canonical order;
Fri, 23 Apr 2010 18:30:01 +0200 wenzelm Item_Net/Named_Thms: export efficient member operation;
Mon, 16 Nov 2009 21:56:32 +0100 wenzelm member/cons: slightly more correct treatment of multi-index, notably empty one;
Sun, 01 Nov 2009 20:55:39 +0100 wenzelm allow multi-index;
Tue, 17 Mar 2009 14:12:06 +0100 wenzelm turned structure NetRules into general Item_Net, which is loaded earlier;
less more (0) tip