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