Index

Skipped feature combinations by plug feature FunInDef

Id Case Feature Plug Feature Skip Reason
5afb38aeebe689ca54440f0875e5efc5bc32375d OneLineComment FunInDef AlreadyCombined
8f6d47e836a8603c81400fd1cecc248061cec5b6 OneLineComment FunInDef AlreadyCombined
fa71f39af593dc78defc134822fd967bd55d8fd4 MultiLineComment FunInDef AlreadyCombined
835d4d9aed49381f4c7a78a3d4dd0bb2b0cb970e MultiLineComment FunInDef AlreadyCombined
449b8f820a589ef552c9ff2fbbf7bb3540403278 BoolTrue FunInDef AlreadyCombined
46acbfe89ee0d43a005abe72761b3ceafd8174bb BoolTrue FunInDef AlreadyCombined
bfbbc757db773be6c9fdda8410bfa5ec7d75037a BoolFalse FunInDef AlreadyCombined
2af44a4a1e0a29ed89e0dd453e9fd514cff80dc0 BoolFalse FunInDef AlreadyCombined
de04eb497b377aabc503a08c8fdfd73ccd8d3852 BoolSet FunInDef AlreadyCombined
0c721934fe9b9040821ee67f3c148e2c84577f58 BoolSet FunInDef AlreadyCombined
541859198743df29e463117e190988a776f7215c And FunInDef AlreadyCombined
972a56989535caf872d003ee8a9db6da5fbd2f22 And FunInDef AlreadyCombined
4bf1d4bfe15112498ec080b316b3e54b0df2c789 AndMultiLine FunInDef AlreadyCombined
80d63feae61d83a0ced72410dddca776b171059e AndMultiLine FunInDef AlreadyCombined
93142f4b3baba68ef63ad4dc279af2c18c7f67a7 Imply FunInDef AlreadyCombined
f5d16cecb23725e89179c5d7b0f0786cfb0b0cef Imply FunInDef AlreadyCombined
b01dab1321e720b7907d73da8ffeb4cfe590d056 Not FunInDef AlreadyCombined
f26cab24a09fcac57f21fa39e788ab62a032d408 Not FunInDef AlreadyCombined
495a8488ce3a0c5a64dfc60e0eac80599dccae81 Or FunInDef AlreadyCombined
53fe0e3b2ebc133abf0536befe31c6a40bd4db3b Or FunInDef AlreadyCombined
74516ea4ff58648894581c2f675128575f12f622 OrMultiLine FunInDef AlreadyCombined
d215e1def35f0765155ccdde4952f7d1e10d128c OrMultiLine FunInDef AlreadyCombined
919839e1a5c80a7ddd82e948c95c7d26eae676d3 AndProp FunInDef AlreadyCombined
5b226ea8eb3eecb34f007cd148ab1218f6f9ef77 AndProp FunInDef AlreadyCombined
fbed4e82ceb3a6daf7d7ec8b20442a75bbaf5bff Boxed FunInDef AlreadyCombined
6ea470771c88951f8fedd411e463026e9a9cd869 Boxed FunInDef AlreadyCombined
bd277c7fd97b4bffa544cfe49483a94df8857365 Eq FunInDef AlreadyCombined
3bfe4d4c7f1818245d450c2d11a4576e16909447 Eq FunInDef AlreadyCombined
371dfe6e23bde9b983197621337b4a96b7878700 Ne FunInDef AlreadyCombined
3045c4418567c8ec9e89bd53b104a24a3adf408b Ne FunInDef AlreadyCombined
f1e6db4a3568ea3c23b242d4dc44ddde64e384bf Let FunInDef AlreadyCombined
1e580ce69936ad9b16625cc74986a24f4d982e3e Let FunInDef AlreadyCombined
a60fb761b77236a04ffed3e56a79a2a49635009e SetEmpty FunInDef AlreadyCombined
243f240e58ccb562771d7499b64ad5ca0e7d2f6a SetEmpty FunInDef AlreadyCombined
2387cad5e76626f8ba65e71b2a5e64d77b97b756 Set0 FunInDef AlreadyCombined
2a9ca2ec63ccd42cf4142fc6922e6af900a8fd1a Set0 FunInDef AlreadyCombined
00b04fd2c8070c6fb040d76fdaca6ef8e1406e78 Set1 FunInDef AlreadyCombined
e9066fd88a6307c6f7d9613b69f7ce0344451176 Set1 FunInDef AlreadyCombined
1abd9aa3bea131e5ee6ae744a0f5916d4e761155 Set2 FunInDef AlreadyCombined
7083728912e9f5b474cae07fb0305088de45a31f Set2 FunInDef AlreadyCombined
daa48eddce0be9034a93f6562f2f630df94aaf3a Set1InDef FunInDef AlreadyCombined
284899d9b1ca43e6cb9b4474e64cb3496d63dfc1 Set1InDef FunInDef AlreadyCombined
b685d8801e763485388c46f9804b98df118e46f0 Set2InDef FunInDef AlreadyCombined
83594bf7d156c174b6472f3b41cd7287272dfe2e Set2InDef FunInDef AlreadyCombined
aa43a9e6b4ab00ec4dcdfd47b561f5d6e83367bd InDef0 FunInDef AlreadyCombined
0f6d0b95bfbe6d48f5d991968333371beaa298af InDef0 FunInDef AlreadyCombined
77e9cb3d638e8def646891bcdc79e9021a6ad417 InDef1 FunInDef AlreadyCombined
ae77f3b444bc8db34785b12704a7201de64178b7 InDef1 FunInDef AlreadyCombined
d8ee6cf84396f2bc65257e0269e0867f9e892e33 InDef2 FunInDef AlreadyCombined
b65d92ad9419a65316ac42b93a5696b7871d47b4 InDef2 FunInDef AlreadyCombined
fcaf556cd912f75318e5a97fa9b3590902632b47 Fun FunInDef AlreadyCombined
157d1636e8cc50c9da2724d76c25648813a6be35 Fun FunInDef AlreadyCombined
add9183677c26f3925ed03884f882d23066b5271 FunInDef FunInDef AlreadyCombined
99e924ddc5ba1d6262f4d4e06cbde30aa91c1df3 FunInDef FunInDef AlreadyCombined
39b8ca4044772a04a9c21d4c978480032328e5c8 In FunInDef AlreadyCombined
402eb527653e761423a190559b2bdfc3b2bb2905 In FunInDef AlreadyCombined
08353ee1178386275d2a31f137819150c66a5279 NotIn FunInDef AlreadyCombined
500874ac8579e5bb8df18cb4ced0b9ae3f55183b NotIn FunInDef AlreadyCombined
4f5eafe073c67cc404c763e112bc0ca534ae85e9 Exists FunInDef AlreadyCombined
6cdad24ff8fcbe2c4143ee8d31df3301da902911 Exists FunInDef AlreadyCombined
51e00d8ca9c587f76b413f4b31375b7b6312b0cc Forall FunInDef AlreadyCombined
fafc13913ce86b20531e5e7618ca235111ecd758 Forall FunInDef AlreadyCombined
0269f9128d95087bd07915114bc92b968b5f9cbb ExistsInDef FunInDef AlreadyCombined
879d196286d03d51e8298d4384a54202e89a853a ExistsInDef FunInDef AlreadyCombined
eb774cb4480a79a9ce51baaabe6c669f85ae89c1 ForallInDef FunInDef AlreadyCombined
ca002063b294a77d195a28796790bd1776a98c13 ForallInDef FunInDef AlreadyCombined
3c8888b9e6298e3d7a80e87633e066d5e6264dfc Choose FunInDef AlreadyCombined
1a668ef8dc0e69acf7489d38bbdce5445fd92e35 Choose FunInDef AlreadyCombined
3af2b9360b7261b18389444751cdd2cb73470888 ChooseInDef FunInDef AlreadyCombined
d502b5d4246da4b338723f0702df9fa1a1ad99ca ChooseInDef FunInDef AlreadyCombined
e46d32e3c3c6f95cd3fbc73e35719a2d8450afa5 Record FunInDef AlreadyCombined
0e3a70514e1924812322e061d1f550f735d6db55 Record FunInDef AlreadyCombined
9837c3e0af2e17193541db0e3b32204d4d8531fd Tuple FunInDef AlreadyCombined
11793503e7c83083bae166b4d6852311131a37ca Tuple FunInDef AlreadyCombined
5c4ab86f987df3cceac41bcc184f4ee4a8bd4c43 TupleEmpty FunInDef AlreadyCombined
82ddf38914d335d399315cf9bc1ab2772ab3df84 TupleEmpty FunInDef AlreadyCombined
f1e1c432230daf6d8c8059c735eb36f3d95a7059 FunApp FunInDef AlreadyCombined
a990a50f7671007078364a09ede317b10f5eca4e FunApp FunInDef AlreadyCombined
6f8d72af6ad6ced2a1ad0762a16d2c7ca0569e8e Except0 FunInDef AlreadyCombined
5e45d1db8b7c905571c8634dcd27124293f6526e Except0 FunInDef AlreadyCombined
ca17309aa0c3ae552d2835b7fb5f562499ec7361 Except1Fun FunInDef AlreadyCombined
0872eaec111ebd31d099c4b74e860f80a0c92ff9 Except1Fun FunInDef AlreadyCombined
dbd5247ae0f33616601d261a049b92b3369578f7 Except1FunWithAt FunInDef AlreadyCombined
61a78ee6e4d633953bad26a6adffd2ede49f728d Except1FunWithAt FunInDef AlreadyCombined
01c7b27decb9f3185f50f02ad4910044d029c3fa Except1Rec FunInDef AlreadyCombined
7e1f2e91cc6178f740a6aa5a357cd37a52a4f110 Except1Rec FunInDef AlreadyCombined
fbb4cacd332c887b4c416c6c06fb880ae94e2c9b Except1RecWithAt FunInDef AlreadyCombined
ee61298f12afd0dab1564552675de36bfef28cea Except1RecWithAt FunInDef AlreadyCombined
7e1e64519d3bb01644a9bbd4812b42aee3a87b22 Except2Fun FunInDef AlreadyCombined
c43411e7d8b8b040f2b356d9d62d500d8230ed4f Except2Fun FunInDef AlreadyCombined
ec4dd492c50fc2eeab1c1d5789c5f38c1662a3b5 Except2FunTuple FunInDef AlreadyCombined
8edd3015c7a5f8a0e1aed07399f446705695a2d8 Except2FunTuple FunInDef AlreadyCombined
ffbab3ab23f59592dd09df984a24195b53230b86 Prime FunInDef AlreadyCombined
e0d572c940e5796ac4bc94d91d5f7e5a28c9957b Prime FunInDef AlreadyCombined
deaa14764813ced5572fb52e165e68219fa3c435 NumZero FunInDef AlreadyCombined
f92cfd0cabfe7829c887d0e8b0ad144b8e32e9a3 NumZero FunInDef AlreadyCombined
a0ff3eca81020f5f471b394ff2872d961d30cb1b NumOne FunInDef AlreadyCombined
6e71b665cbe38aac223b5eaee44d9fd2ef9a0953 NumOne FunInDef AlreadyCombined
5b2255c07f7ab67f56fe3ed884c2fd2b2fee6c7a NumMaxInt FunInDef AlreadyCombined
62a79442d5fcd5a796f6b7d840be2c453a86b35c NumMaxInt FunInDef AlreadyCombined
3196a1e252e2878b886417f64c70b7a8b9d894a1 NumUnaryMinus FunInDef AlreadyCombined
4633f3b6d43cfea6612b89bb52cf2ca54a8fab37 NumUnaryMinus FunInDef AlreadyCombined
f28f30f1c236c3812f77aa9286247079d2c40daf NumPlus FunInDef AlreadyCombined
b60ec732d7454f29f928875aa5b4aa69522405d8 NumPlus FunInDef AlreadyCombined
a545f54f3e94f3015a962c192b79c3a4808b4339 NumMinus FunInDef AlreadyCombined
a1c13ca6cc16e3c743343290a309a1c16ef77ddb NumMinus FunInDef AlreadyCombined
bc914f653b2f0a8113ccb81a17cb5d217ecfd4a5 NumMul FunInDef AlreadyCombined
6e71b325f739a7c9516b5cc0b18dff3ce7ee8f0a NumMul FunInDef AlreadyCombined
6c48ca7e90f6f7a08db0dd3e096220152511eb85 NumDiv FunInDef AlreadyCombined
282ab265ffb1c567045669391c0a34cb0cefba41 NumDiv FunInDef AlreadyCombined
7b23a03173dcdb559395d1410b7a4192ca48a5f9 NumMod FunInDef AlreadyCombined
8ff3da4d54379ba2352d453c1d283f4f857b029e NumMod FunInDef AlreadyCombined
62d9cdae1865053af47359c43388e30f15dfde89 NumPow FunInDef AlreadyCombined
a9caeec97a2bce27435a4bd27f7d14dafbde93a2 NumPow FunInDef AlreadyCombined
f075e76007b8eab1c14771d48b6d72207622672d NumGt FunInDef AlreadyCombined
ba388329a9203183499da08d85ff363cffd21aee NumGt FunInDef AlreadyCombined
227ec9e0f6f2e584189cefb1c7e018c91ec8759c NumGe FunInDef AlreadyCombined
a90e8ff5376b64961f172e9e64c9c1c2c8d31f2f NumGe FunInDef AlreadyCombined
3b85d9ff004b980ee5618a8bb402df0d6c757c27 NumLt FunInDef AlreadyCombined
590e14660feeee7494abcc2b8ef3dab5d96bbe95 NumLt FunInDef AlreadyCombined
1afe8662b92242ebb2d248f0f2b610558e49fcbb NumLe FunInDef AlreadyCombined
cfadf760b466e75b72cd82c9330f9bfcc510127a NumLe FunInDef AlreadyCombined
1690364fef9b9e890d4806770b547b2d8b186834 DefFun FunInDef AlreadyCombined
127a553bec5e814e1ec2147d9b2e2407088dcd59 DefFun FunInDef AlreadyCombined
ded718c5622eccc3c3558952fc3a33f39e5d76cd LetDefFun FunInDef AlreadyCombined
1514c1886453599251f86e3f8d815560a6634401 LetDefFun FunInDef AlreadyCombined
a54e6a4f936a2aaae7466f9014778878fb9a3b6f DefFunRecursive FunInDef AlreadyCombined
acdf6e3ee46eec72652c79e55761cd0b5b6a71fd DefFunRecursive FunInDef AlreadyCombined
3063059f6aa6849e1a6b7b3d37e3f4fe0dfee337 LetDefFunRecursive FunInDef AlreadyCombined
b4144940ca01e48b3455d23c2ef9b507480152ed LetDefFunRecursive FunInDef AlreadyCombined
2f6b315870f90173399c62af588d4c1bba69ca9c DefFunInDef FunInDef AlreadyCombined
3c286acf2041bc6fbd32cad1fcf475023c2a85c4 DefFunInDef FunInDef AlreadyCombined
17877e226f9876f02dd97e38189dcd30e4082acb LetDefFunInDef FunInDef AlreadyCombined
f9232b1906f384533b52440ebdbff3b9109b0c2e LetDefFunInDef FunInDef AlreadyCombined
a3e073cc88eb387ef6095beaae33d52086bd2251 Def0 FunInDef AlreadyCombined
7688e8e32244aea1715bcbf5a408403b4676872f Def0 FunInDef AlreadyCombined
6ecf4f20eceb852ef0bbaee611868371a749ed1b LetDef0 FunInDef AlreadyCombined
2d53080f9daff80a60679cb697aa92fcca0e741b LetDef0 FunInDef AlreadyCombined
9e21051937fdb5838e62d3c51b6479975e371134 Def1 FunInDef AlreadyCombined
84a385397c9035ee9811befd102a78bbd9b8757b Def1 FunInDef AlreadyCombined
83261256e012d85c7cdab39679b9449bcb150f10 LetDef1 FunInDef AlreadyCombined
255b430fbf352a060bbff433b5f541549bed677e LetDef1 FunInDef AlreadyCombined
b18368188d7c5605f0b7661058b4be188594b1e1 Def2 FunInDef AlreadyCombined
9509ed3f7bea25cf31c6b807d06053c72f2a9166 Def2 FunInDef AlreadyCombined
e89b53c32af92e98ba094c5b3434b18d80e064f8 LetDef2 FunInDef AlreadyCombined
d0cf7f2f15b0ed0606b145345428ebd290813a55 LetDef2 FunInDef AlreadyCombined
560f021dbe572c1fe6d5a03b94e5bf37957a7556 Def1Recursive FunInDef AlreadyCombined
fa1085bdc55ace1de3e4131bb0dad117e85a4d3c Def1Recursive FunInDef AlreadyCombined
a85bdc2ae6e621b0f103bb2bd4ab0974d43aad6a LetDef1Recursive FunInDef AlreadyCombined
cd7d9691e9a5834378b001ce00146fdb177726a7 LetDef1Recursive FunInDef AlreadyCombined
5b4366d5e8730599b9291a2ac5a854fe3b57e32d Extends FunInDef AlreadyCombined
7789197f9194a0c6ee0f954922cf6ae8a4a79ff1 Extends FunInDef AlreadyCombined
346b57133ddab12372031d3b211950b342aa3203 ExtendsInDifferentFolder FunInDef AlreadyCombined
c895cb7139af04fea9524025b3f05938079d2d30 ExtendsInDifferentFolder FunInDef AlreadyCombined
9b74e4be0aaa381f531ddbc31254e0310cf0a180 Variable FunInDef AlreadyCombined
2317a3ebbbf0d7fd77e7e3a89ef50871df7125d1 Variable FunInDef AlreadyCombined
34c64d2cb78ffc845fe7002f30ffce2bc95a1441 VariableViewExclude FunInDef AlreadyCombined
fb7ea20312af1df02eadc35d62ed739b4c56dd36 VariableViewExclude FunInDef AlreadyCombined
d40ebc4281223f829f71a4ea1727803353700359 Constant FunInDef AlreadyCombined
2c84536f977a1bcb161573d3e20a848ef6d9d55d Constant FunInDef AlreadyCombined
fd4aaca686b1ab43ebd55821c32e084e4b9b407e ConstantModelValue FunInDef AlreadyCombined
3c44d4676bf6db5300a060f39bf78d0616e3e6f4 ConstantModelValue FunInDef AlreadyCombined
1c7b4134e2c1720bca89db0a645555b7a42d072b ConstantRank1 FunInDef AlreadyCombined
a0d0ba9de0cfd30a97f1c4183fff6f33a052bdb6 ConstantRank1 FunInDef AlreadyCombined
566896272efab0e0201eacf835928a374668d2ca Instance FunInDef AlreadyCombined
ab7364cb284188694a0cfd0c6c8c65a3af4a6493 Instance FunInDef AlreadyCombined
bb2252d734ebc1916150e7e9f59d2c8a45167080 InstanceWith FunInDef AlreadyCombined
30d575ec3301a8de130ec81888712f9d521d4d89 InstanceWith FunInDef AlreadyCombined
37e25dad5ddb6703d377d157eadb3c61138c4030 InstanceNamed FunInDef AlreadyCombined
ac953d91c0a7588275c274141e386797767d08d5 InstanceNamed FunInDef AlreadyCombined
5544f39d07ea539bc48cc92b6e96218d9013cb66 InstanceNamedWith FunInDef AlreadyCombined
9de95b21bc83a0a7b6fa4fdcfc6b909290c6fb3b InstanceNamedWith FunInDef AlreadyCombined
e3fc9fbf9811bb8b4a80483f69033a6252d3a23a InstanceInFolder FunInDef AlreadyCombined
7dd6d9b8811b9d05bd66c800807a5401fb5cbf0c InstanceInFolder FunInDef AlreadyCombined
f25b6b5277974b3a21aab859b8af1a8d81241887 InstanceWithInFolder FunInDef AlreadyCombined
b51a4d8ce5ab8923f7593bbc85caef2a1ccffb15 InstanceWithInFolder FunInDef AlreadyCombined
bff478d76faadb4ad4840d102c6d79971ad22590 InstanceNamedInFolder FunInDef AlreadyCombined
b1f8efbf4e759f8c4e0ab8c0c7913c305ddfba0e InstanceNamedInFolder FunInDef AlreadyCombined
258b61bd92f8626f2c629e328a138ef17f71bb41 InstanceNamedWithInFolder FunInDef AlreadyCombined
1c814f4faa528c9a2d87f0daee295578453d49c6 InstanceNamedWithInFolder FunInDef AlreadyCombined
562c4df20660fe4ded6fa82ef9e47920ad24314a Enabled FunInDef AlreadyCombined
42ece41da7b4d03f68ea370f79c3de238e099cef Enabled FunInDef AlreadyCombined
f73939ee8d3b7edd673a2e84b91a521391affd95 Assume FunInDef AlreadyCombined
8eb062904c01c565ae264deb7054fcc85dfb10f6 Assume FunInDef AlreadyCombined
bd8608525e8eb316aed6432c675cdb98776dd32e AssumeNamed FunInDef AlreadyCombined
e4c9b3eea61b3f4baf381ddf9c40767248869a03 AssumeNamed FunInDef AlreadyCombined
7d4fa104328538b2a571813bc629cf715b0fb277 Lambda FunInDef AlreadyCombined
748a219eca180dc0afbe5645d4985a6cd0467a12 Lambda FunInDef AlreadyCombined
3595d5dee42769f4f5a1ce3a90da6f08c56c9b13 Cross2 FunInDef AlreadyCombined
138c49148935979885f5f79a8a770041bde2ae43 Cross2 FunInDef AlreadyCombined
422e4f4bf6117c06f61c79b65aee491b286cb3a0 Cross3 FunInDef AlreadyCombined
1a748668acf049fd0074779819da3d44c8798d0e Cross3 FunInDef AlreadyCombined
3c7dfd5c115d18987ff7793f15c2daff241d2ab1 FunSet FunInDef AlreadyCombined
31e8b06a001c856ca295a9c0bd7194c9d7abf46a FunSet FunInDef AlreadyCombined
b8a4a6a25279bfc9dd0b3488d120b4018a54644e RecordSet FunInDef AlreadyCombined
ad88fb0eae9bbb2f35a5ac66320d4ef87e9ae707 RecordSet FunInDef AlreadyCombined
abedce328584efc9efb67f6b287895942a45478e SetDiff FunInDef AlreadyCombined
3411db6851accbb49330c1d8df7182d959d59c7b SetDiff FunInDef AlreadyCombined
6657af78f5233c97c1b626d1fa61174edc4312a4 SetUnion FunInDef AlreadyCombined
8a9999640d63ee5b55fb84b6334fb6a15fceb705 SetUnion FunInDef AlreadyCombined
26dd4a8c35fe3c2f9f86989465b9f293d5dd4212 SetIntersect FunInDef AlreadyCombined
21547f29437d5379ef112757a3bdee21e133d327 SetIntersect FunInDef AlreadyCombined
57f3eed87f417b8a60a7d9a5469a0fe14cc3393e SubsetEq FunInDef AlreadyCombined
c7896d8c57320aeef1d4672d92bd5167f9b98cc6 SubsetEq FunInDef AlreadyCombined
a118a39890e65e53a73ed4994fc8da5eccd49146 IfCond FunInDef AlreadyCombined
1f8bbb74b04e9597726773a07f4ff892625d59fe IfCond FunInDef AlreadyCombined
67c590611cf15cfd0dc4a1c5bc7c86ff86c69daf IfThen FunInDef AlreadyCombined
073eecf990d17cea68321e6e320fc2ee5417c76e IfThen FunInDef AlreadyCombined
d466ff723f07527bef0fe58c451e43342af5a80d IfElse FunInDef AlreadyCombined
d6aa7f85526b7525b598e7fd7ff27246ff5df129 IfElse FunInDef AlreadyCombined
be0f90c3abc1c84d7ac9f79db5795899dc209ba3 Subset FunInDef AlreadyCombined
cbded4f1d00ce397b887e9b0065e34f04b3df9d4 Subset FunInDef AlreadyCombined
aecfd53c9804f0b0a0705294d4e27a0265a4a946 Domain FunInDef AlreadyCombined
4e09aaddcd410a14e5fa45f7848754567b3395e7 Domain FunInDef AlreadyCombined
d6af8d8b8b326b39a696177bd776d1388788cbaf Union FunInDef AlreadyCombined
c6161ea15c31b39523e4038584dcc2b26dad80e1 Union FunInDef AlreadyCombined
0bbdd25984459fd9e38f7ad7a7eb218b192c9340 Unchanged FunInDef AlreadyCombined
01b878a361375151073616878691f2f77a99f114 Unchanged FunInDef AlreadyCombined
a4f4d5c2a14f30d993cb5d9071b73c9e1f268236 Equivalence FunInDef AlreadyCombined
43390064cde72cf01a2fbc347a533df1a09fc286 Equivalence FunInDef AlreadyCombined
52e91c9cb18d0ce68a195d17a77d33155df0f38d StringEmpty FunInDef AlreadyCombined
9c365597837448dba410f66e13eddd28ef2e323f StringEmpty FunInDef AlreadyCombined
a5979a2400de50ba9f68947ce0f435460a296c1e String FunInDef AlreadyCombined
65489c26c9b2e713535fdf99f489ea7e715bb17a String FunInDef AlreadyCombined
d9bccd753dcdd8e87171a48313d400e4f2d2a2b3 SeqLen FunInDef AlreadyCombined
310378ba38568381c7f7f3fa4a2f268b37ac26ee SeqLen FunInDef AlreadyCombined
5861d5810a5663406cfc7106347a82ed0e4188ba SeqConcat FunInDef AlreadyCombined
b8a55e967c9b8301cde8155b4e5b59caca0ffff6 SeqConcat FunInDef AlreadyCombined
c743812026d8acab1d1461a4c8187e3a8a3d7126 SeqSeq FunInDef AlreadyCombined
d2fbbbaa12b3d084c78158edc1b5e353f85da7e4 SeqSeq FunInDef AlreadyCombined
aecf72856b9ea3622151351ff1040107f0879288 NatSet FunInDef AlreadyCombined
adda602c9300961d8a1d08d0f588d30d90514d52 NatSet FunInDef AlreadyCombined
b3ae8751baa0fb2eae34251df2de2eff8c5e53c0 IntSet FunInDef AlreadyCombined
c23ff1cd2cb45f14bb647e5aa32d1a5314e35453 IntSet FunInDef AlreadyCombined
868184c5fb65e85f6f9a104d83417549befc5c48 StringSet FunInDef AlreadyCombined
1e7e04ac9e2a0c13abb5e32553311977fd98b90b StringSet FunInDef AlreadyCombined
680f1a2354d3f4eabe8c22ce0cef96bd78d73fca SeqSelectSeq FunInDef AlreadyCombined
da5f9930027e0ab2305302550db4ee73dc5e6155 SeqSelectSeq FunInDef AlreadyCombined
64618914e9aed440553a6180bacc10368fb595a2 SeqSubSeq FunInDef AlreadyCombined
3a3e0b007f8c645d33288d49efeed810dc3c87a5 SeqSubSeq FunInDef AlreadyCombined
e9f20f88f5404b2fdaf0fb189bca206df1b9a874 NumRange FunInDef AlreadyCombined
e079dd794b56551f11d9bfa83ead3b763136a4b3 NumRange FunInDef AlreadyCombined
8e4a54c9adb6bfcc82ecd13b6cea143760e35dce TlcSingletonFun FunInDef AlreadyCombined
46fc74daaddc6e70c01c9c95517c7740916b8dac TlcSingletonFun FunInDef AlreadyCombined
938eb4e8a8bbe0211ea50fd33279387c29842619 TlcExtendFun FunInDef AlreadyCombined
6d22c96234639ac7152cbc2ba9f6a741a69d1b3a TlcExtendFun FunInDef AlreadyCombined
7840eb03832f8e4c61d521e602cae7df5afc3000 TlcPermuteFun FunInDef AlreadyCombined
14555913c73d1a81c250e9c175c49d0c92d4bfae TlcPermuteFun FunInDef AlreadyCombined
601ef4c19ed6ba68ab9403a5f84e5345f885aff6 TlcSortSeq FunInDef AlreadyCombined
63d53c00600a016d4200d8e0603577680d9191d1 TlcSortSeq FunInDef AlreadyCombined
af5b25ea3257253f946e769253d16cfb0dbc4d44 TlcEval FunInDef AlreadyCombined
5b5f2763de84c9042035eb32850d259743e29216 TlcEval FunInDef AlreadyCombined
9e82055ebbf0d69576bdc3ae554337c3d44aabdb BagBagToSet FunInDef AlreadyCombined
e46a66105409cb720b91effd1ab2a016110f4483 BagBagToSet FunInDef AlreadyCombined
eeddb5ee079479b08d22abaddecd4894d612ef48 BagSetToBag FunInDef AlreadyCombined
648803137a6a19b31ad247fe1c3b2031c80b36c6 BagSetToBag FunInDef AlreadyCombined
084328ef9ec90715cd4cea9d79532e81ec028548 BagBagIn FunInDef AlreadyCombined
2e8f72f6568903c23652fc4e674cd3e48f17e17a BagBagIn FunInDef AlreadyCombined
9ce338beba181ecc781883af55cfc891b6e04db0 BagEmptyBag FunInDef AlreadyCombined
a6948721c7b124f4e1f4fc9a3b89b22d6ebd0134 BagEmptyBag FunInDef AlreadyCombined
8313f85b7790dba85bc0a82d2487666b62d9744b BagAddBag FunInDef AlreadyCombined
d21385a9b6b85906dc77e713ce2f6e2cbb10aa80 BagAddBag FunInDef AlreadyCombined
1cc030c71a2cac6b522c4730c5885f31e7a08236 BagBagSub FunInDef AlreadyCombined
c6a58edf12566b6e4c576cd5cff4e239cf3f5804 BagBagSub FunInDef AlreadyCombined
db79bfbf76c676bd41a92082dc60d64578c3c987 BagCopiesIn FunInDef AlreadyCombined
dc5c0b758b0357b4b309e643d4c8272559544710 BagCopiesIn FunInDef AlreadyCombined
30816201f839cd4d54b037a3f782d10e73db7af1 BagSubsetEqBag FunInDef AlreadyCombined
322520b4283f20c22095ef2319331e13329389b5 BagSubsetEqBag FunInDef AlreadyCombined
1f15bba4662bd77d2c16431b353b749d6c3abc6c BagBagUnion FunInDef AlreadyCombined
f0716db6d4841a8616396ba075952fd59430c38c BagBagUnion FunInDef AlreadyCombined
525c41c2cc8ede77e5e80a418eae81f74b02b47a BagBagCardinality FunInDef AlreadyCombined
0543490be4382ddfe283caf34584543a4f5e87da BagBagCardinality FunInDef AlreadyCombined
40bfac862d43f089d4a832bdcdca9c973a61616e BagBagOfAll FunInDef AlreadyCombined
80eb403dba0605aeb23d728c970c37f39cf16c08 BagBagOfAll FunInDef AlreadyCombined
dfe1ffd6a951795198de5db720dce76bbe23aa86 BagSubBag FunInDef AlreadyCombined
314a2212c65184da8535c13a2d1cc57a26c6daf5 BagSubBag FunInDef AlreadyCombined
2cbefe4d907d4600d50ebbecc486683ceacf5ede FiniteSetsIsFiniteSet FunInDef AlreadyCombined
8392e6be51d42029b9933c0fdc89fee68e89c7b6 FiniteSetsIsFiniteSet FunInDef AlreadyCombined
9dc5cba944e65cd5499d8b0e083f5ad539c9c498 FiniteSetsCardinality FunInDef AlreadyCombined
ce173b3f3deb42b99484a770ec4275922ca7cf11 FiniteSetsCardinality FunInDef AlreadyCombined
fb479a873a31d1e57b6da013a563ff05ea3da72e SeqHead FunInDef AlreadyCombined
1a07d63a43ec74dc8f46a1c02c7ccf06c300ec85 SeqHead FunInDef AlreadyCombined
d3d0d2dee0d6fe3cca590580fd37a4e16f9ffe63 SeqTail FunInDef AlreadyCombined
3c34040acccaae9235faba857cdc8b43e473bfe6 SeqTail FunInDef AlreadyCombined
98eff2cd64d315fe2b51cc9242e988b9ca3df84c SeqAppend FunInDef AlreadyCombined
5dc7539012256ec1784ed3dc845581c21500a296 SeqAppend FunInDef AlreadyCombined