#
bb0ce4f9 |
|
09-May-2018 |
wenzelm <none@none> |
proper merge of items without term index (amending b969263fcf02);
|
#
c6914105 |
|
13-Jan-2016 |
wenzelm <none@none> |
tuned signature;
|
#
d75d5dde |
|
16-Aug-2015 |
wenzelm <none@none> |
delete precisely the added rules; tuned;
|
#
13ddea91 |
|
26-Nov-2014 |
wenzelm <none@none> |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
#
c686572c |
|
24-Feb-2014 |
wenzelm <none@none> |
optimize special case according to Library.merge (see also 8fbc355100f2); no treatment for Net.merge, due to non-standard merge order;
|
#
9a72856a |
|
26-Sep-2013 |
lammich <lammich@in.tum.de> |
Added Item_Net.retrieve_matching
|
#
2cf80e31 |
|
14-May-2011 |
wenzelm <none@none> |
slightly more efficient claset operations, using Item_Net to maintain rules in canonical order;
|
#
4060245b |
|
23-Apr-2010 |
wenzelm <none@none> |
Item_Net/Named_Thms: export efficient member operation;
|
#
bb68a6a4 |
|
16-Nov-2009 |
wenzelm <none@none> |
member/cons: slightly more correct treatment of multi-index, notably empty one;
|
#
ecda59a8 |
|
01-Nov-2009 |
wenzelm <none@none> |
allow multi-index; more scalable merge; renamed delete to remove, and insert to update (standard naming conventions); tuned;
|
#
ed733ae1 |
|
17-Mar-2009 |
wenzelm <none@none> |
turned structure NetRules into general Item_Net, which is loaded earlier; --HG-- rename : src/Pure/Isar/net_rules.ML => src/Pure/item_net.ML
|