Used simplifier rules/spec theorems by specification

Used from specification infset-union

• infset-union/ext is used by ext,
• infset-union/ext is used by int-c, int-e, unidem, int-a, del-del-one, une, int-notempty-01, unc, una, del-feq-02, del-feq-01, undel-04, undel-02, undel-01, undel-06, undel-05, del-two, diff-add-del, unall, unadd, del-eq, union-rewone, del-addeq, int-idem, int-notempty, union-difference, diff-e-01, subsub-del, int-inse, unsub-union-01, int-empty-02, int-empty-01, del-e, del-d, unsubdel-01, int-ins, unadd-01, del-neq-01, del-neq-02, del-feq, delsw-01, undel, int-inserte, intu-empty, sub-del, unsubsub, sub-del-03, delete-insert, sub-del-04, sub-union-01, diff-del, sub-del-01, une-01, int-empty, intdel-empty, del-e-01, del-e-02, diff-union-03, diff-idem, int-del-rew, union-sub, one-min, diff-empty, del-in, delsw-02, diff-int-01, indef, int-eq, sub-union, union-sub-01, uneq, intexin, del-d-01, insdel-sub, sub-ade-02, delsw, sub-ade-03, del-in-03, sub-ade-01, sub-ade, selsub-diff, diff-rc, del-addeq-02, del-addeq-04, del-addeq-05, del, del-addeq-01, diff-int, diff-e,

Used from specification infset-basic

• infset-basic/Subset is used by unsubdel,
• infset-basic/In-empty is used by int-e, une, int-notempty-01, del-two, unall, del-eq, del-addeq, empty-intersection-diff, int-notempty, union-difference, diff-e-01, subsub-del, diff-supset-empty, int-inse, unsub-union-01, int-empty-02, inter-empty-diff, int-empty-01, subseteq-inter-empty-empty, del-e, int-ins, del-neq-01, del-feq, union-sub-rem-inter-empty, int-inserte, intu-empty, sub-del, unsubsub, sub-del-03, sub-del-04, sub-union-01, diff-del, sub-del-01, une-01, int-empty, rem-inter-empty3, intdel-empty, del-e-01, del-e-02, intersect-empty-rem, diff-idem, diff-empty, diff-int-01, int-eq, sub-union, union-sub-01, uneq, intexin, insdel-sub, sub-ade-02, sub-ade-03, sub-ade-01, sub-ade, unsubdel, selsub-diff, subset-is-union, diff-int, diff-e,
• infset-basic/In-insert is used by add-rem-sub, int-notempty-01, del-feq-02, del-feq-01, intersection-shift, intersect-add-rem, del-two, subseteq-rem-del, diff-add-del, unadd, del-addeq, diff-del-plus-2, diff-del-plus-1, int-notempty, rem-union-ins, equal-add-in, diff-one, int-inse, delsw-suc, del-addin-01, k-delete-rec, intersection-insert, del-e, int-ins, unadd-01, del-neq-01, del-neq-02, diff-del-02, del-feq, sub-union-05, int-inserte, union-one, sub-union-02, delete-insert, sub-union-01, sub-union-04, sub-union-03, delete-subset, union-subset-02, int-empty, k-intersect-rec1, unsubins-01, del-addin, union-subset-04, union-subset-05, union-rem-add, indef, diff-subset-01, unsubins, insdel-sub, delete-shift, sub-ade-02, delsw, sub-ade-03, sub-ade-01, sub-ade, del-addeq-02, del-addeq-04, del-addeq-05, del-addeq-01, del-addeq-06,
• infset-basic/Subset is used by int-subs01, subseteq-rem-del, union-difference, diff-one, subsub-del, union-subset, unsub-union-01, inter-empty-diff, unsub, subset-union-left-rem, subseteq-inter-empty-empty, diff-del-01, diff-del-02, union-sub-rem-inter-empty, sub-union-05, sub-del, unsubsub, sub-del-03, sub-union-02, sub-del-04, sub-union-01, sub-del-01, sub-union-04, sub-del-02, sub-union-03, delete-subset, sub-del-05, union-subset-02, diff-sub, union-subset-01, subset-del, unsubins-01, union-subset-04, union-subset-03, union-subset-05, int-eq, sub-union, union-sub-01, diff-subset-01, unsubins, uneq, insdel-sub, diff-subset, sub-ade-02, sub-ade-03, sub-ade-01, sub-ade, selsub-diff, subset-is-union,
• infset-basic/eq is used by diff-del-plus-2, diff-del-plus-1, indef, del,
• infset-basic/eq-03 is used by uninsert, del-addeq-03,
• infset-basic/in is used by diff-del-plus-2, diff-del-plus-1, intersection-insert,
• infset-basic/in-02 is used by add-rem-sub, intersect-add-rem, add-inter-rem, diff-del-plus-2, del-e,
• infset-basic/in-03 is used by diff-del-plus-2,
• infset-basic/in-04 is used by del-del-one, del-two, diff-one, del-e-02, one-in,
• infset-basic/ne-01 is used by int-notempty-01, del-two, uninsubdel, unall, del-eq, del-addeq, int-notempty, union-difference, subsub-del, int-inse, unsub-union-01, int-empty-02, int-empty-01, del-e, unsubdel-01, int-ins, del-feq, int-inserte, intu-empty, sub-del, unsubsub, sub-del-03, sub-del-04, sub-union-01, diff-del, sub-del-01, une-01, int-empty, intdel-empty, del-e-02, diff-empty, int-eq, sub-union, union-sub-01, uneq, intexin, insdel-sub, ext, sub-ade-02, sub-ade-03, sub-ade-01, sub-ade, unsubdel, selsub-diff,
• infset-basic/sub-in is used by uninsubdel, unsubdel-01, unsubdel,