Index

Skipped feature combinations by plug feature DefFunInDef

Id Case Feature Plug Feature Skip Reason
358c3fff1d0639f88d213dd092cf90407c12422b OneLineComment DefFunInDef AlreadyCombined
1be88cda2d21086217b390933b88d5e415ffb4d2 OneLineComment DefFunInDef AlreadyCombined
cc872e8bbaf8885f1bc7cd6316982804f73610a6 MultiLineComment DefFunInDef AlreadyCombined
ec37ae7aaf5910dcd1ca2860d131a805dbea7e16 MultiLineComment DefFunInDef AlreadyCombined
ca8b622b724727638a3dfcfa8af77f15b7e5f50b BoolTrue DefFunInDef AlreadyCombined
fa11d4479c5f5b1edd00a7e23d19f482cb59c807 BoolTrue DefFunInDef AlreadyCombined
8ecb0c57c78e03501b2d1053dcbe11a8fb1d1f54 BoolFalse DefFunInDef AlreadyCombined
1c78c9af0595dca596872ca549e626ce19583b51 BoolFalse DefFunInDef AlreadyCombined
5dae10c864ba7072e3fd138f60c0cb5d62b91e78 BoolSet DefFunInDef AlreadyCombined
e4fea5ad03397c1f8841f3c2cc41aa68fac9a6d1 BoolSet DefFunInDef AlreadyCombined
a514821e3c574b0e3277bf52a7c79afee5db3719 And DefFunInDef AlreadyCombined
c1ee42cbd2f0ac0c3d1e8b8f62af68136528fc87 And DefFunInDef AlreadyCombined
68e9ca3147496951f9f20645c33e3c46ca3d55b7 AndMultiLine DefFunInDef AlreadyCombined
20c9c91f4d5fc545408b14cf85c1da56809d3d73 AndMultiLine DefFunInDef AlreadyCombined
55c8cb5e1a25136cebc96602b5103dc7bc396559 Imply DefFunInDef AlreadyCombined
b62d548e3243d112173f2e00e7f4718fff2d6cda Imply DefFunInDef AlreadyCombined
aa386c3d23ee07c06b45ef87f95b09d0c84ff135 Not DefFunInDef AlreadyCombined
742bec80542abae0811b4371e6a0d90c32d6d33c Not DefFunInDef AlreadyCombined
ddca90d55bcceece35ca99f400f752d50a965bd7 Or DefFunInDef AlreadyCombined
4da778a693fb94e65414a10621c065c3901f73ec Or DefFunInDef AlreadyCombined
897e616879cebb89c049e3acd1e9471ddbf1c39b OrMultiLine DefFunInDef AlreadyCombined
ed93afe0a57174bc29965d6e80de8f7f5583f8c0 OrMultiLine DefFunInDef AlreadyCombined
e5d353f7b37763dac4c9be22e202ccee59269829 AndProp DefFunInDef AlreadyCombined
3a3042a3b97d0edb9f0383222783642eec1dac0e AndProp DefFunInDef AlreadyCombined
63f0102e3e030be8a2e468fb2616cafd77658b2a Boxed DefFunInDef AlreadyCombined
c6f19b16c9ed5b8f629bd90a2ec24dd60e09fe79 Boxed DefFunInDef AlreadyCombined
8718eb4d9f1504a265cd46866bccd14c71081412 Eq DefFunInDef AlreadyCombined
0a7da25ebff2098b65be09fbcd50bc34fb02c479 Eq DefFunInDef AlreadyCombined
1942cf401655d28d9c7405b64a046a838d76d359 Ne DefFunInDef AlreadyCombined
50d61eaf48949c9761a04622f72b49c81b84f8bf Ne DefFunInDef AlreadyCombined
94656cdf6cc095420fa1e84d08568c1d1972caae Let DefFunInDef AlreadyCombined
8b0392a00fafcfae2177fa463cb8675b7a2a7e29 Let DefFunInDef AlreadyCombined
9785137354164e4c1851b122e671165e941ec559 SetEmpty DefFunInDef AlreadyCombined
474e0e372349031760fba07b82b52b8f1cc0344a SetEmpty DefFunInDef AlreadyCombined
ebac818f8bcddc7e0c1857d3f597a12df6714b9e Set0 DefFunInDef AlreadyCombined
bd3c10458a78800fd6c5c8cb0759a24c018c33c5 Set0 DefFunInDef AlreadyCombined
998b6abc81878a8b56130eea8339f781d7e4d55f Set1 DefFunInDef AlreadyCombined
7209040f650bf4a4e12c22d4ce26f1d9ef230da9 Set1 DefFunInDef AlreadyCombined
2332d20b1a014252a8be4573f2b195ddc2a7e3fd Set2 DefFunInDef AlreadyCombined
b1d7aef19e843335d3110ec23277ca849020108e Set2 DefFunInDef AlreadyCombined
be0523bd64534c96634bec111e28d2a50c783240 Set1InDef DefFunInDef AlreadyCombined
ae4ad3615fb7c858dc02c53a07423318d96283a2 Set1InDef DefFunInDef AlreadyCombined
c99feb5de8a11cf24c8792c41278d19b7fcfa6f6 Set2InDef DefFunInDef AlreadyCombined
0088bda98d147222d6f5dabca9c1282db30a1f22 Set2InDef DefFunInDef AlreadyCombined
24ce7e620766ef1d3163d4e5a93626576fb99b1f InDef0 DefFunInDef AlreadyCombined
11d966cbca491eeca2eca01ebcb7bf7c09197900 InDef0 DefFunInDef AlreadyCombined
7c70fca22d4a6a594bb705ff6014f2a74188c73a InDef1 DefFunInDef AlreadyCombined
df3662ff09bd7f56e9ab3d1ac0b7d176757a85da InDef1 DefFunInDef AlreadyCombined
a18cb201a86146d3a497a183f551107e6b5de0f6 InDef2 DefFunInDef AlreadyCombined
7058e3487355fd7e83d0dfc3441dbfddfe46396b InDef2 DefFunInDef AlreadyCombined
1b19dc8f70b5977c8de559020d520cf48217836a Fun DefFunInDef AlreadyCombined
c86a50e2922ede7fa9edbf64c489b615d349b45f Fun DefFunInDef AlreadyCombined
05f92743d6b176ef1380324b278ed5345efcfa84 FunInDef DefFunInDef AlreadyCombined
2ce97bbe9b00b6d7fc90031105f03a93cd645d41 FunInDef DefFunInDef AlreadyCombined
5bc774502c39ef9c9cf0acbd3beb2490806b1b62 In DefFunInDef AlreadyCombined
d6604306297e8e6d53314055304d1d5c2424534c In DefFunInDef AlreadyCombined
e3860959d0e2416f19e91c35249f18d06aba7876 NotIn DefFunInDef AlreadyCombined
0787de2978e3687db1bf97f9181d3f0067e882a2 NotIn DefFunInDef AlreadyCombined
16220ad34833d1dd40ac4106a58ea97c5f19c48c Exists DefFunInDef AlreadyCombined
6606f74d1b9498c94348502d765b6112f866f90e Exists DefFunInDef AlreadyCombined
5454ae8fe8cc8b7e798a5cc85f8097e1aed218e7 Forall DefFunInDef AlreadyCombined
f87bfd0d9c5db5b23ec07d652eda9bdb0733e74a Forall DefFunInDef AlreadyCombined
c5d7557394ef64b7a388a8d0046b9e803b3e91a9 ExistsInDef DefFunInDef AlreadyCombined
175aedd48f8921cc53d836bb5bd467244f2dc764 ExistsInDef DefFunInDef AlreadyCombined
94bc77bc29876a57af4a074015a8a84a6203aa29 ForallInDef DefFunInDef AlreadyCombined
369e6a7770f867a1c978b86183b915178abb0093 ForallInDef DefFunInDef AlreadyCombined
5e19e6bd26062ce80a122291ed81209c95c04b12 Choose DefFunInDef AlreadyCombined
bd356ed5baefd1ccbdb24545f3969af1c0e08ebb Choose DefFunInDef AlreadyCombined
8d6e5b8005cd7fe47b1f1b5e49a05341a482e0dc ChooseInDef DefFunInDef AlreadyCombined
fb920b95487a072a178f27e2c3b6e65e72bfb527 ChooseInDef DefFunInDef AlreadyCombined
be772961c3cc206a8a62b8db12f6b72bb42e09a4 Record DefFunInDef AlreadyCombined
84127cfaea6d5aaa686699e3f58d58f26e775367 Record DefFunInDef AlreadyCombined
a12487e016e587c5a6d2a4611c39d0bedad28404 Tuple DefFunInDef AlreadyCombined
2d79279472717be1761e5995d4d6d9c92a29b6a6 Tuple DefFunInDef AlreadyCombined
388331f6c89fcc72f5daa7e6c35318add2cb5ce7 TupleEmpty DefFunInDef AlreadyCombined
8d8ec5c465f960d8fe8956c513c4c5c06813415d TupleEmpty DefFunInDef AlreadyCombined
f445f8c64692269052f20d2a477ee77d52532fcf FunApp DefFunInDef AlreadyCombined
61dd9825ee214dbc6595f685cd33a52f51a5bff7 FunApp DefFunInDef AlreadyCombined
0f4cabc8334418ff13e1f05d02d1049d2f91b1c5 Except0 DefFunInDef AlreadyCombined
87e10f3329e1a96b78f9805d8599af5137cedd4b Except0 DefFunInDef AlreadyCombined
0f834f270e85a298ab634dfa130f241b6881aad6 Except1Fun DefFunInDef AlreadyCombined
70c08080a8acb791a774633653c5c393e3bf3293 Except1Fun DefFunInDef AlreadyCombined
ca6c21b509c354d7ddf76c20bc47118b42ac602a Except1FunWithAt DefFunInDef AlreadyCombined
1356df0781e9e72f1a0f36962f49504e5635bfd0 Except1FunWithAt DefFunInDef AlreadyCombined
a9335ca0e031739971c82ce31fa2a5a0ecb82fe8 Except1Rec DefFunInDef AlreadyCombined
fc10e617b7f39bf8c952ec6696f2bcb28950d819 Except1Rec DefFunInDef AlreadyCombined
35d480045dfd62ccfbe0e97c894bbd509f7b88b1 Except1RecWithAt DefFunInDef AlreadyCombined
9fb89eb14e5932710d98c492348e06a9734f65ec Except1RecWithAt DefFunInDef AlreadyCombined
5cb96f4784a5a2bbf404808332af7d073aeaedeb Except2Fun DefFunInDef AlreadyCombined
717024300f8fba126a61d5f03994872fd76def8c Except2Fun DefFunInDef AlreadyCombined
4a4e81e23dd6f0cdb6c8c04290191738c32212fc Except2FunTuple DefFunInDef AlreadyCombined
e5d180759769581054d4591c75079799f8e9caad Except2FunTuple DefFunInDef AlreadyCombined
9132bf4fcd72c851812b4c592e4bda946f053ad6 Prime DefFunInDef AlreadyCombined
eaebfd35313583b61e2189c70dadcb4838a0d476 Prime DefFunInDef AlreadyCombined
1079f55fd06407482c57b305aadbd69cd1bb37c0 NumZero DefFunInDef AlreadyCombined
0449aab26c0cc46d9b48994b45622717e94af2bb NumZero DefFunInDef AlreadyCombined
9ca00fbc8b61b4cd59072fd9de62e05edf6c2419 NumOne DefFunInDef AlreadyCombined
5549cf6b57b117e444ca282ae5a5e43991e5fe59 NumOne DefFunInDef AlreadyCombined
fa545d98a15d54498a52260c66997f90c88a1f83 NumMaxInt DefFunInDef AlreadyCombined
2ef04e84877733d8dea070394436be95f6b022d5 NumMaxInt DefFunInDef AlreadyCombined
45a797b06d188374d48270d5f21d28e2535e96aa NumUnaryMinus DefFunInDef AlreadyCombined
b1de50b945c5f38cdb7e0bfa29d6205a31a0fb66 NumUnaryMinus DefFunInDef AlreadyCombined
b40d7406fb78678fc4c27d79bdc4017f33d18e5f NumPlus DefFunInDef AlreadyCombined
ddf9787d4d3916939e6dafd9b551a66641acfcb6 NumPlus DefFunInDef AlreadyCombined
be0815e998371c90c1c003eeb270cc1759c7c6ae NumMinus DefFunInDef AlreadyCombined
70b3e6c32dfde7b1b3ec66e01ecbde168deca9e7 NumMinus DefFunInDef AlreadyCombined
fbed1616ca62d0476869f793e96024ca25fcb46c NumMul DefFunInDef AlreadyCombined
91c61aac7948c9164f6381dea3da13401661c001 NumMul DefFunInDef AlreadyCombined
125644eb1471c52c41120c5ae804c2966aadeaec NumDiv DefFunInDef AlreadyCombined
544ed9a8b9c2ac3183208850164b855b9648b2dd NumDiv DefFunInDef AlreadyCombined
b4e15be024749f1df8f0b358523e62743d3471cd NumMod DefFunInDef AlreadyCombined
a72f5bd44ffa055f0545f3161f60eecfd001d358 NumMod DefFunInDef AlreadyCombined
06aaa7b1ba439ab37c3ac257edb3d2cea9168371 NumPow DefFunInDef AlreadyCombined
53791b4b5bcecbb8628c545938534ff4606929b5 NumPow DefFunInDef AlreadyCombined
f714d7055988d2e4b79e958df3ca5819b7941b7b NumGt DefFunInDef AlreadyCombined
35d03cb39d26a833720a98f8a814f33b7c3db39e NumGt DefFunInDef AlreadyCombined
aaa0062230da1a2ec1e0de14950de41a40186dd4 NumGe DefFunInDef AlreadyCombined
af34b0416297610cc763ddeeb9af29265be8251b NumGe DefFunInDef AlreadyCombined
c0e1e4cc372c3af349e00b9c952886057cfc06a4 NumLt DefFunInDef AlreadyCombined
d959041012dfa2a32354d08bc8b771440a5dcd2d NumLt DefFunInDef AlreadyCombined
cbed83df71f1b06781e5cb60786c4462e55b02e3 NumLe DefFunInDef AlreadyCombined
79b1c00e6c831e46d06bdd9da86df7b4ff01841f NumLe DefFunInDef AlreadyCombined
635f7443a15ae40c601e0857d12929c557202f73 DefFun DefFunInDef AlreadyCombined
c1044f605bad9872bf5de9aff7e5e42f6c3c8d91 DefFun DefFunInDef AlreadyCombined
5ef79c64a50189884736372aa3b0dd4195d4f155 LetDefFun DefFunInDef AlreadyCombined
6bfd143900cfbe0e87ab50235e6e5e37a3e3775b LetDefFun DefFunInDef AlreadyCombined
7173df05b92147373697541888d8c834be4ae4eb DefFunRecursive DefFunInDef AlreadyCombined
00f472dc7885fa2b709f973f9d6ab975d7e9d39d DefFunRecursive DefFunInDef AlreadyCombined
a58f55ce8ba2540733e5d2d961993193f9664980 LetDefFunRecursive DefFunInDef AlreadyCombined
5c45a76137810efbbff5749583707af02f37a269 LetDefFunRecursive DefFunInDef AlreadyCombined
bcf2782b3e510f9a773f673c9cf98bdda079c084 DefFunInDef DefFunInDef AlreadyCombined
c10e5bb8cffeb8845e093bf67bea788a8add321c DefFunInDef DefFunInDef AlreadyCombined
1e1b7725836cbc017ca1b20fa1706fad913274e1 LetDefFunInDef DefFunInDef AlreadyCombined
427782f22df338c5c28021d41df178912dff05a8 LetDefFunInDef DefFunInDef AlreadyCombined
f19536261d1acdf5c00cc8b9515034d41accdd8d Def0 DefFunInDef AlreadyCombined
4be44a4cc9bbc8153ae9012a179ca77f1be75506 Def0 DefFunInDef AlreadyCombined
669b52db62d15a52bc396caf8bea2fd9fde5200f LetDef0 DefFunInDef AlreadyCombined
7aeb67cc4570113c21c8defe3010fac8b840d511 LetDef0 DefFunInDef AlreadyCombined
63154c2a0c70309c1c2317ac44468f8a44458149 Def1 DefFunInDef AlreadyCombined
40817cec7b59eb7d3efa70f9928fc3190577f174 Def1 DefFunInDef AlreadyCombined
ecac5f882a4a83d81eab62599e555bd758a5c4b7 LetDef1 DefFunInDef AlreadyCombined
b3a83fa2ebae598b2cf6d533a6aba99c70a9b12a LetDef1 DefFunInDef AlreadyCombined
a77e188034bb24c95aeb8aeb0676b53441545eb4 Def2 DefFunInDef AlreadyCombined
13d8fdfe2bdd7d803b9d050ce2c36caaa9aed83a Def2 DefFunInDef AlreadyCombined
b436a60ce8a42b6233ac42c0d4c5160fefff2179 LetDef2 DefFunInDef AlreadyCombined
537937a6ff88c9fa830e55407dba1936adac07c1 LetDef2 DefFunInDef AlreadyCombined
b95f7b970ec2f1392c5f1bc4c5329c5f890267de Def1Recursive DefFunInDef AlreadyCombined
e55a396ac3a268dbb76fba073ebbcbce4637e72c Def1Recursive DefFunInDef AlreadyCombined
58a4a1eadf065c4e5fa5fd7b069baa65f3bf41ce LetDef1Recursive DefFunInDef AlreadyCombined
692218e7e34475d58d78e5987d5e6c5ef9b28e31 LetDef1Recursive DefFunInDef AlreadyCombined
fad512216495aca16935d2f34bcd6a0883b82106 Extends DefFunInDef AlreadyCombined
d47cd906a456b346cabdd10a1ab024144d1984ba Extends DefFunInDef AlreadyCombined
6777adc844d9e57e54f3616e1d01d836540fb597 ExtendsInDifferentFolder DefFunInDef AlreadyCombined
6ba1d2bef55239c7c4aa13c7edce4639d981d81d ExtendsInDifferentFolder DefFunInDef AlreadyCombined
bd6a474e003ce3da3566af53f3c77b00c85ffcf6 Variable DefFunInDef AlreadyCombined
7be8fceb548ad0f97b12048716adcda89d876a2d Variable DefFunInDef AlreadyCombined
77fca188c7cb00421faac5ca823ef31dfd061f2b VariableViewExclude DefFunInDef AlreadyCombined
17bb5ca0c5e6d3105c3e4e58f648146c9cfef8ee VariableViewExclude DefFunInDef AlreadyCombined
99e509e81d5c136802d86a7c588f009df177e624 Constant DefFunInDef AlreadyCombined
bb019993f2fdf37824e0a80a9d8e9d2fe1e86f85 Constant DefFunInDef AlreadyCombined
64d38d30190ec3f3653f4aa243cf9f862eacdece ConstantModelValue DefFunInDef AlreadyCombined
f028aef63cc7e48a732a739256f5150cedc04465 ConstantModelValue DefFunInDef AlreadyCombined
7c5e6da6db926369bf5024c0b0b7ed74c217596f ConstantRank1 DefFunInDef AlreadyCombined
e0357d051c9743e43fb4d62613549dfd750fbb98 ConstantRank1 DefFunInDef AlreadyCombined
ca312de256457bbf377f4cd208bd41e914fa726a Instance DefFunInDef AlreadyCombined
1e936f00d429edbc9307e5349be4d09081c16edd Instance DefFunInDef AlreadyCombined
6a2c99514036546eec72e61d347766468177d897 InstanceWith DefFunInDef AlreadyCombined
2e0c37e32b6519bd80c1a782107756db27651f89 InstanceWith DefFunInDef AlreadyCombined
00ca0f2429ee40515eeeda99205e33b9d44d6a76 InstanceNamed DefFunInDef AlreadyCombined
5c4cfab307e469c1a159ec73631de2279ce36125 InstanceNamed DefFunInDef AlreadyCombined
9290fab1d9c26d619bfd54a40e2c05480f924de3 InstanceNamedWith DefFunInDef AlreadyCombined
ca5423e1fec9a83cb36f1c126893950a42456535 InstanceNamedWith DefFunInDef AlreadyCombined
aad9ac22a38eb47acdac96b6b8421abe9e46fa4a InstanceInFolder DefFunInDef AlreadyCombined
57f79aa4d77a85b4d96139290feadd57dd2b0f96 InstanceInFolder DefFunInDef AlreadyCombined
1aa0b0c65bf1d5af57486330ae62ce8cacae5ebe InstanceWithInFolder DefFunInDef AlreadyCombined
1237d8e3ec32e3355c42ef365facbe572442123e InstanceWithInFolder DefFunInDef AlreadyCombined
58e5cc18b1b5f2b71cd0c59829c0e4368baa0be2 InstanceNamedInFolder DefFunInDef AlreadyCombined
5bdedd4652099c9517020d0292a8261987112ad2 InstanceNamedInFolder DefFunInDef AlreadyCombined
e218fc8c991cea2f4fc81e92211f401910760545 InstanceNamedWithInFolder DefFunInDef AlreadyCombined
8a5c3fb471fbf074e1e3d1901e54d29652385e2f InstanceNamedWithInFolder DefFunInDef AlreadyCombined
01fd04af0f4ee9744341078c9d7bf117795903c8 Enabled DefFunInDef AlreadyCombined
48632f4ff63ddbdf7acee1d2ebd06550caf2d2ae Enabled DefFunInDef AlreadyCombined
db44ff1582307c70a0caa8f43cfcee1d2856d55c Assume DefFunInDef AlreadyCombined
d647550625a7bed4c6145a7a5985fcff02c28fda Assume DefFunInDef AlreadyCombined
46ed0b07c71503dd0d8cbd2601efdd6da8795245 AssumeNamed DefFunInDef AlreadyCombined
f57ba8dd7fbcce3323373b764429c954ddb37c1a AssumeNamed DefFunInDef AlreadyCombined
a9355e352e8849e158084564a60367dfbcfb0636 Lambda DefFunInDef AlreadyCombined
1af1902f1b70ef19a2c901ed0265f9044a2da241 Lambda DefFunInDef AlreadyCombined
f1e83a7572e4afaa3f0f02bcd664b7776f46b079 Cross2 DefFunInDef AlreadyCombined
4bb22bb5c417a0efb5edade404890d684b3c2f1b Cross2 DefFunInDef AlreadyCombined
677f062f933f80861dedcd35245dbefb26701a7b Cross3 DefFunInDef AlreadyCombined
4d879f5de607bf113409898b8b77843233c3a390 Cross3 DefFunInDef AlreadyCombined
86d2634bf727a8dee5cb9b05965c9f8775d4009b FunSet DefFunInDef AlreadyCombined
6f6d4c3ef2fbc96d5d40b64fb6682884e4b962fc FunSet DefFunInDef AlreadyCombined
a53927856db1b8da0da1bab03d1649ed523a5302 RecordSet DefFunInDef AlreadyCombined
7a7e33e89e88018126a9bb045a9f6e18d15e265d RecordSet DefFunInDef AlreadyCombined
46175a2bde7b3ff1ddee2b776616d11d132ed57b SetDiff DefFunInDef AlreadyCombined
aa9bc275ac535e81ce27120bd5fa25d4d2edc759 SetDiff DefFunInDef AlreadyCombined
b1c4bb7843c8093076f743110997329e5cf639db SetUnion DefFunInDef AlreadyCombined
0646488780bd4d243a0039428ee5a25e8109fd49 SetUnion DefFunInDef AlreadyCombined
22e828c9074d33ffd9103880f4128429326d5284 SetIntersect DefFunInDef AlreadyCombined
6f0dc47c157e75a78e922a81a513bfcfa58693fe SetIntersect DefFunInDef AlreadyCombined
7082440c5558cb343cee852a52ef0c10f69d68f9 SubsetEq DefFunInDef AlreadyCombined
010b74cb97c658b2883920458c8f1a4cbc09f05c SubsetEq DefFunInDef AlreadyCombined
8ff7127cf5a2f837a3b91e704ca5f4859c57812f IfCond DefFunInDef AlreadyCombined
3cf45d0dabe0cd87779600183b382dd7ac16da1c IfCond DefFunInDef AlreadyCombined
d5bb6ee3590f8e3b2a81ea034dd8ad36801decb0 IfThen DefFunInDef AlreadyCombined
17e513749bb5c3917d25ea0633c66e050c796be7 IfThen DefFunInDef AlreadyCombined
5ca8ea6365b19f1ca9e160c69f6d08c9cbbc3c30 IfElse DefFunInDef AlreadyCombined
f8286d86baad7e015b15fdd13326d29f676f35f9 IfElse DefFunInDef AlreadyCombined
6289ab2832c4e3c82521121bab6af87b63b0ca55 Subset DefFunInDef AlreadyCombined
8d75b071907d33cde220007289c2b28fa36a78c5 Subset DefFunInDef AlreadyCombined
2493ba4cab9d37d8c7124d905887348683a24cf0 Domain DefFunInDef AlreadyCombined
ef4ef93cee2d175dbe1d1c7e5a9cb4af869a8b9d Domain DefFunInDef AlreadyCombined
d94079c39c3aed005543e3c78bd5e37fa40e1064 Union DefFunInDef AlreadyCombined
a13cf213d617152d1c9d5790aff717773cd278d0 Union DefFunInDef AlreadyCombined
c2efd1e01426cba1114d5681b940974e7b55226a Unchanged DefFunInDef AlreadyCombined
4bdeb1c6b720aeb8ab28a41e59a926837ff43ae5 Unchanged DefFunInDef AlreadyCombined
42e23e6da428d5500f8c8e113f3cb3973c40b5c8 Equivalence DefFunInDef AlreadyCombined
411275c1c54c82c0c2e4b202a20873f51277ac82 Equivalence DefFunInDef AlreadyCombined
634cc23599f8d9dbd8d0d99713f40e8b660b7535 StringEmpty DefFunInDef AlreadyCombined
e4156ef8df5b7697ef76a47d7f61beff0bdc3609 StringEmpty DefFunInDef AlreadyCombined
2fe5904696ea1b388bb35a445da93278e1b98d02 String DefFunInDef AlreadyCombined
e110bc83159b4ca2f09cdd3581f2db5a1ad0956e String DefFunInDef AlreadyCombined
162a489cdf3237576f9bec7ce63a4f0f8cd36e68 SeqLen DefFunInDef AlreadyCombined
39dcae037a1b00f5c92a54b11eed7c4df99bd911 SeqLen DefFunInDef AlreadyCombined
f029137e2d2cea3a596434cf292b5795446caec7 SeqConcat DefFunInDef AlreadyCombined
6a0fd9b75ff6ec12b138bb6903845d5943103851 SeqConcat DefFunInDef AlreadyCombined
38abf394bf46b6814acac513138fbf3f79d453b7 SeqSeq DefFunInDef AlreadyCombined
ed31ae7683a7191ac1af53d736ab52279d0c885d SeqSeq DefFunInDef AlreadyCombined
5054fbd5bc1895297acbfec114290b627bab8e2f NatSet DefFunInDef AlreadyCombined
b92863531ed024b7a8e02dad4fbf9ec0e235f41e NatSet DefFunInDef AlreadyCombined
be68e3ec0e7e568967fea364ab3678f0ef431f02 IntSet DefFunInDef AlreadyCombined
0083efebb829c79e88b08368662faaa273ed4aa2 IntSet DefFunInDef AlreadyCombined
bcec854c0c6836e3d1441d3abd32244d85fb7880 StringSet DefFunInDef AlreadyCombined
cd59737f4b0fc42ff23917d1e13cc8ecd0699910 StringSet DefFunInDef AlreadyCombined
57aa32c2e1f43e3318b3e11a77dc632b260e7572 SeqSelectSeq DefFunInDef AlreadyCombined
bbe62e2fafd99200b1234556218ecf32fb02de16 SeqSelectSeq DefFunInDef AlreadyCombined
1c107cd8338fb2172167abf779a0a47b5f88c3e5 SeqSubSeq DefFunInDef AlreadyCombined
3ae2c0b574ada6fe4c5625f15ba65d668d17128f SeqSubSeq DefFunInDef AlreadyCombined
8ee5e6fc69f680a440a4e1e283925dcb757b4c2b NumRange DefFunInDef AlreadyCombined
abd819b71e68f7821f0ca9b6adbf23088f0a2345 NumRange DefFunInDef AlreadyCombined
f042351a0cca6a9f45d18c92e093d848e455bb21 TlcSingletonFun DefFunInDef AlreadyCombined
5677f76d97018f1215096f1d5f366687a1d2dc64 TlcSingletonFun DefFunInDef AlreadyCombined
f68dde9386d1f3fe7f969ba470b2042db811e5a0 TlcExtendFun DefFunInDef AlreadyCombined
552a34b1dccc037fcdae9038369dcf6ee723595f TlcExtendFun DefFunInDef AlreadyCombined
112174200591439371a4979800afb86704e52dd8 TlcPermuteFun DefFunInDef AlreadyCombined
35b6d1726e7193ccd5120fcc342979469c8e09c2 TlcPermuteFun DefFunInDef AlreadyCombined
dda89d980531979d097579ca6ffb86ef82c9821c TlcSortSeq DefFunInDef AlreadyCombined
6355995bdb0e984aa16ac89ee6f66d431d4c47ba TlcSortSeq DefFunInDef AlreadyCombined
eef2b09059199cd009612ea1e4d2406b077a8e30 TlcEval DefFunInDef AlreadyCombined
6f9b5ea15d618a88fd819a1974e2bff0dc1d4104 TlcEval DefFunInDef AlreadyCombined
806320ec45256b6c3164ad202b5c5d9d280be7c6 BagBagToSet DefFunInDef AlreadyCombined
1e566db0071cd6d361449967cd72187315040346 BagBagToSet DefFunInDef AlreadyCombined
eaf969a988a502a9204dd2daf2c90c48bb86bd33 BagSetToBag DefFunInDef AlreadyCombined
e5d85e29cca8a9728927db99f762f62b6cb44770 BagSetToBag DefFunInDef AlreadyCombined
bf875552fde9ab10d918042c9f90f4b3f2a56cb5 BagBagIn DefFunInDef AlreadyCombined
069c549cf26db6a1c8d49c5ed9857741b4916f68 BagBagIn DefFunInDef AlreadyCombined
831943b0362a9bdb3235c8c599c1a02312380529 BagEmptyBag DefFunInDef AlreadyCombined
dc70ca4e3d059eac24404cc271f611f80d4771e2 BagEmptyBag DefFunInDef AlreadyCombined
11b1dbce1b563507e45e0911aca7d68636b14a24 BagAddBag DefFunInDef AlreadyCombined
e86f95f99d60740738d250d7c33ada0008e50831 BagAddBag DefFunInDef AlreadyCombined
27b6cb8e8f51ce41b08547f09e47a8b814aa8ef2 BagBagSub DefFunInDef AlreadyCombined
5262ee87d2591d494577b5f44030f6eb3899892f BagBagSub DefFunInDef AlreadyCombined
d025da8814ba25a8b6ff7a7856860bdc635fb75b BagCopiesIn DefFunInDef AlreadyCombined
bf46111ea2ffeb85ba1c0f25da89888bf52742be BagCopiesIn DefFunInDef AlreadyCombined
7f450020ac2cc073620d3ea041c9c268bc6ddb59 BagSubsetEqBag DefFunInDef AlreadyCombined
5f9d8774317c203d6646ceec0f5af6c853b02dd4 BagSubsetEqBag DefFunInDef AlreadyCombined
e066a113e0dc9e79196f89c221f70280d1711e6f BagBagUnion DefFunInDef AlreadyCombined
5e0241b7c722aef0a3f57ea29ae20c4b398fd461 BagBagUnion DefFunInDef AlreadyCombined
81812b9461632981cb66955475362936258df3c1 BagBagCardinality DefFunInDef AlreadyCombined
15f3b246f5e3485d1633cf24b3263f0263a1411a BagBagCardinality DefFunInDef AlreadyCombined
3d509e36ccf2b2c5c4dd772fa6f1c2d8ed78d035 BagBagOfAll DefFunInDef AlreadyCombined
9dd2c646666f4678464bd86432466534a2eff003 BagBagOfAll DefFunInDef AlreadyCombined
ad36bab57020a08cde787a0001941f813bbc5440 BagSubBag DefFunInDef AlreadyCombined
2ff49fa29eb99229758f694a0b7cb79fa78f427e BagSubBag DefFunInDef AlreadyCombined
5bda428fdf61230f825280f944557dedf61c85dc FiniteSetsIsFiniteSet DefFunInDef AlreadyCombined
51a33c85eee753cef6019eabe7f88998fd1bd4c9 FiniteSetsIsFiniteSet DefFunInDef AlreadyCombined
79fbb8a745b66a9d93feb9bac57c87181c505535 FiniteSetsCardinality DefFunInDef AlreadyCombined
fe23cd729f6cb76f087a5326693fe23994c1046b FiniteSetsCardinality DefFunInDef AlreadyCombined
772065f027305b193fb134eed3df6ea5e4544b3c SeqHead DefFunInDef AlreadyCombined
0116b8639ef8db686cc21e7b8867a0b14063aaf0 SeqHead DefFunInDef AlreadyCombined
e1453057e563874bd91fb49289a084575ff06c7d SeqTail DefFunInDef AlreadyCombined
85d4ab6364cfaf5e1a7cd1613df339899ac93e35 SeqTail DefFunInDef AlreadyCombined
68d802d9a21fdf254134bd01684bd9152d7f2fd1 SeqAppend DefFunInDef AlreadyCombined
d28d699a0246f38490af399b81ceacb1451bc5d6 SeqAppend DefFunInDef AlreadyCombined