Index

Skipped feature combinations by plug feature ForallInDef

Id Case Feature Plug Feature Skip Reason
c8557e8498023241675b2b31b47d2ff19476fe17 OneLineComment ForallInDef AlreadyCombined
c97ba01dc308f844aaa0becc5cbb4ef4f141cfbc OneLineComment ForallInDef AlreadyCombined
9c2e70cd00c3014028d1f2c150865f842eb8fcc3 MultiLineComment ForallInDef AlreadyCombined
07a0e968020850c04729b1f210782abea49378bc MultiLineComment ForallInDef AlreadyCombined
7f69c91b5c3eed0181fb12493613055524b37a2e BoolTrue ForallInDef AlreadyCombined
3f06b6e634766b0d4164232deeed651824a27e38 BoolTrue ForallInDef AlreadyCombined
e502c012a0bd76599d656de0d3418c44a92a76fa BoolFalse ForallInDef AlreadyCombined
ae947fdf147d228ae58b788b099ab93aada8739e BoolFalse ForallInDef AlreadyCombined
d6978c744ca94c89096283a7b8f089fed6e0009d BoolSet ForallInDef AlreadyCombined
e93cc8e6cfe8eb8e3c1d85ad6e46f01768d84120 BoolSet ForallInDef AlreadyCombined
02752c7996bfce1678f11e4e36ea17a3716b5378 And ForallInDef AlreadyCombined
e90da160ab5de43d89055d1db5e121e17529dc94 And ForallInDef AlreadyCombined
d20a8a51a8f2828f5782ef621b3f710596674ba5 AndMultiLine ForallInDef AlreadyCombined
2274ce37662a7fc5f30a3075d54c451d817fb391 AndMultiLine ForallInDef AlreadyCombined
aab40062028f564030cfb1fd67e45f4b221d5a83 Imply ForallInDef AlreadyCombined
2139e10ff68e14c9e4ca444805706ac6246b1840 Imply ForallInDef AlreadyCombined
6ac9326113de68f6aee585f1f6b7a2cf98f85167 Not ForallInDef AlreadyCombined
7eebb9323d5e09f291a0af68abe689c917737b66 Not ForallInDef AlreadyCombined
438073042d7447ee8de53c34996aad180332f133 Or ForallInDef AlreadyCombined
ec5440a344228f1a44edeacb9b044dd379ec3ef6 Or ForallInDef AlreadyCombined
604bcf666be46bc2b67b11e9a545db220044d377 OrMultiLine ForallInDef AlreadyCombined
26e379a1e46d5cec19743a1ab3a5f25824445492 OrMultiLine ForallInDef AlreadyCombined
ea2267d3243506fe42ea795ed46da229730d1a98 AndProp ForallInDef AlreadyCombined
7b15efce43cf0cfd0d023ecdf73749ec0319c6cc AndProp ForallInDef AlreadyCombined
92cc24e8e5a372483c24960ad235a455cb294396 Boxed ForallInDef AlreadyCombined
d135f85c5d7cc65514c45f9758a76215af0d34de Boxed ForallInDef AlreadyCombined
46ec5b4ac0df36594d278e4a1774068a6ef6fb59 Eq ForallInDef AlreadyCombined
f56cdd10f6abea03c2d4be66db325d9d7d591724 Eq ForallInDef AlreadyCombined
ba3b415f87242ab7d37e96f7835799252ae1d9c8 Ne ForallInDef AlreadyCombined
c7b7d58ece08f9f095f7a4a9de1e6c920ae77562 Ne ForallInDef AlreadyCombined
4928682620a6c046dab87eeee4413e9034dd0272 Let ForallInDef AlreadyCombined
e0cd4d8663a694acb7282bff80ca02a00d444131 Let ForallInDef AlreadyCombined
6421d19d49b7578129997ce41dc9acf815c80188 SetEmpty ForallInDef AlreadyCombined
fbc6933b8cef1965a3ab6282e1a65a831c66eae7 SetEmpty ForallInDef AlreadyCombined
34dea1d9171a84776896977b0a53b01659f1671d Set0 ForallInDef AlreadyCombined
f8af7910be7b65abf629885cbff2852489c7708a Set0 ForallInDef AlreadyCombined
8bb0a1b5088fc735ecae96e5cc44103e18afa6d9 Set1 ForallInDef AlreadyCombined
71ad5cc1ee275ee0d3b0ad19d12023a2ad6e673c Set1 ForallInDef AlreadyCombined
55ef9a0c16fd0e4799ef2f52649b7137abeae356 Set2 ForallInDef AlreadyCombined
916237411969142fd62a7dac0da3b6b8f3053089 Set2 ForallInDef AlreadyCombined
30ca57a35a270e7c612b0c669b85f9723c148b9f Set1InDef ForallInDef AlreadyCombined
b856391650f3c89147e00a6d1c5ef13550cbdadc Set1InDef ForallInDef AlreadyCombined
153ecfc88322ebd90abf3b9baee175c027c6394c Set2InDef ForallInDef AlreadyCombined
722662119ca18f84ab8b74139fafe9081f9d325d Set2InDef ForallInDef AlreadyCombined
bc54cb3055d075c185dd23b3c61801c4301a158f InDef0 ForallInDef AlreadyCombined
5734570335ac2053abf5186037d64f2ea50831fc InDef0 ForallInDef AlreadyCombined
8d0aba98d9bbbaf1d42cf8dd4867af68bd56ef88 InDef1 ForallInDef AlreadyCombined
cf0b1ebe70fdf4e60f8bec089b0afc7b93005c62 InDef1 ForallInDef AlreadyCombined
511cc3ab5547083ed4cf3921c71bbe04d45af896 InDef2 ForallInDef AlreadyCombined
09c0a048862b89235cd3465d168c7e4553782da7 InDef2 ForallInDef AlreadyCombined
e6c951e9e273cedec1fc5ef7634578fae358e7e1 Fun ForallInDef AlreadyCombined
cd604491ab9acbefeeb328de384cbc1c6727c186 Fun ForallInDef AlreadyCombined
b3621ec5cacfd84912b2db40563af4ae7b0699a5 FunInDef ForallInDef AlreadyCombined
eeb9cacc61958474ef680cfac7c5edb60186dfe4 FunInDef ForallInDef AlreadyCombined
f974e52cc645ad4e4cf26c198d469bb1cc0ba2cf In ForallInDef AlreadyCombined
700530a34981e04d8d19d722080e0629afff4b8b In ForallInDef AlreadyCombined
3f2d1b1b9b968fe4ee214d41b28bc8842483e8fb NotIn ForallInDef AlreadyCombined
cdc8330940dcc78b7fd6076194913cf5a75214df NotIn ForallInDef AlreadyCombined
2c0e3fe8aa6ceab228250f5b2606bf450f2c5ee3 Exists ForallInDef AlreadyCombined
34491529679574078c1469a8b089af0b484646d8 Exists ForallInDef AlreadyCombined
23258866887e8cd5f02dfad212e31a876a926d22 Forall ForallInDef AlreadyCombined
315c5aeb6d0f489dd340d4e0ce9e79ade41e7e42 Forall ForallInDef AlreadyCombined
d43e149d31ed185fff219e1775fc296e4417448f ExistsInDef ForallInDef AlreadyCombined
79b5a3a6bd868ed414703e42e8ffc3f78e0448b8 ExistsInDef ForallInDef AlreadyCombined
49b0592843df2206a46fd84b305d5cb9c9629428 ForallInDef ForallInDef AlreadyCombined
8359ebf2d73322cf477e486b46eff2c52df3447d ForallInDef ForallInDef AlreadyCombined
a21e457fb5e1486e32469dbefcebffe53654df9c Choose ForallInDef AlreadyCombined
dbb796792c02cc86521c7783a6e1506ceb2bf467 Choose ForallInDef AlreadyCombined
79f7beb909e3e6abe5c0e97d2fdd7ca6d87e59ed ChooseInDef ForallInDef AlreadyCombined
9272d5563a8006afd6c308fb9836499ccfc8717d ChooseInDef ForallInDef AlreadyCombined
30bdd3d8b5ea3c6c9eff887ddec77811b0520914 Record ForallInDef AlreadyCombined
85a8e726aae047e71523adc8cdaa42910efd0ecd Record ForallInDef AlreadyCombined
96623c9eb636cfbd7ab895a26975d4fe84f36d6a Tuple ForallInDef AlreadyCombined
1118557d75846c55340e894c7410bac8a3784137 Tuple ForallInDef AlreadyCombined
8847220025bbb8fa388d4e347f5f50f648656a8b TupleEmpty ForallInDef AlreadyCombined
e8a81f1e351f0d37868647ad644015aa63b9500f TupleEmpty ForallInDef AlreadyCombined
6979eeba4ff3ff5abd0472907bec7d36d9e1c28b FunApp ForallInDef AlreadyCombined
c82e1788938e4288bed9b8cb580ef57992b25d69 FunApp ForallInDef AlreadyCombined
81696fe6f5962f6abaa1b2e33eee59ed4c48ad62 Except0 ForallInDef AlreadyCombined
9cb8733cd0e2fa6759d688583c6d033b27244888 Except0 ForallInDef AlreadyCombined
1701364f2553539e8fb47163f721b5889104f0c5 Except1Fun ForallInDef AlreadyCombined
5d35da842270c8ae2557120c23c6915f7cbc5a0a Except1Fun ForallInDef AlreadyCombined
9ebeae9d010cfc9f5ed184e3981b18f4916c3784 Except1FunWithAt ForallInDef AlreadyCombined
f7be70388bc6d35a256dd17c0fd3ad04aaf7c152 Except1FunWithAt ForallInDef AlreadyCombined
8b732551e993a9e3eb60deabd69cfc8289146c4e Except1Rec ForallInDef AlreadyCombined
85a5568b0d7420f0b76f6081f517e6b0e398d548 Except1Rec ForallInDef AlreadyCombined
86f0f475b77193eb788ae538e6589efdda51e1e0 Except1RecWithAt ForallInDef AlreadyCombined
861f279fbf88bcadf6876a72d43ca9c703ced60f Except1RecWithAt ForallInDef AlreadyCombined
83937a9b6ee443705a347def772890aeb2de42ea Except2Fun ForallInDef AlreadyCombined
072bbaf5bf73543c47950304512e46f020806cea Except2Fun ForallInDef AlreadyCombined
4907627df7989ceb86ad80796b098b3f0dce544e Except2FunTuple ForallInDef AlreadyCombined
9e813f33a8c430327151dee070568124cdbbd44d Except2FunTuple ForallInDef AlreadyCombined
5698ed6b2c5705792dfcd86885a59d6cf731ea52 Prime ForallInDef AlreadyCombined
20802c53e41a8a59bdb65ad8a89f355bcb0d7e61 Prime ForallInDef AlreadyCombined
0dcbb767fbd8baf7644ccb3de2cd4b690402f03e NumZero ForallInDef AlreadyCombined
9d339bf0d49d7c76ef2694bcf9510f7b7f6beb46 NumZero ForallInDef AlreadyCombined
14f43f6be6227527d19a94253098c717390033cc NumOne ForallInDef AlreadyCombined
763fb51941e42e5577a995ae5e896863a34c07df NumOne ForallInDef AlreadyCombined
07aed1f408a60bb217dae3083da3512a1fd3dc45 NumMaxInt ForallInDef AlreadyCombined
e4d3159ac18b0f493fd3be45edc7ca64aac397fd NumMaxInt ForallInDef AlreadyCombined
1b1a505f63504c532aa4b859da7ecebb4d62dd4f NumUnaryMinus ForallInDef AlreadyCombined
562300ac5418586ae777c94fa77fc1b84ea1c015 NumUnaryMinus ForallInDef AlreadyCombined
890b046dc0fe70a38c716e71c1391a63a0e6fc9a NumPlus ForallInDef AlreadyCombined
f2ad3a9c4a7d68fd6d1a10cbf9fc9bb8ab3c46c6 NumPlus ForallInDef AlreadyCombined
89f2f14dc4e4a472a489053151315a0f5d702ea5 NumMinus ForallInDef AlreadyCombined
e2b4f7c072c000699243d56a0ceddc8cabee1ad3 NumMinus ForallInDef AlreadyCombined
32d4454c3ff09f41149ba307a2d07580c7b489a3 NumMul ForallInDef AlreadyCombined
b4777305bfc72b90acbc7eb8a5a933e2f755d3e4 NumMul ForallInDef AlreadyCombined
04a593120eec1c97763d085f52947c7765e237e1 NumDiv ForallInDef AlreadyCombined
c3a2ad80144a1a9d858fb0eecddcf0b0f8633fe0 NumDiv ForallInDef AlreadyCombined
c8b1285e09fc787610b4f37eae50dd88a327134a NumMod ForallInDef AlreadyCombined
f7140b25364d66fd94f2e430a6a5f95a2a6fe40e NumMod ForallInDef AlreadyCombined
3bea7dc13eb856c413cbaadf1dabc5785a927e32 NumPow ForallInDef AlreadyCombined
b26f20d51093b281779fe320a2fc983fbc645f95 NumPow ForallInDef AlreadyCombined
faaf3e4446f4fbf4978d28474a65e5a22fa1bb07 NumGt ForallInDef AlreadyCombined
491a650f264615c874f2d4d03fe8c285bb7fb78f NumGt ForallInDef AlreadyCombined
60a691c6a24c8e858d3096f100c668d8f2b71c4a NumGe ForallInDef AlreadyCombined
cebc8841dba1d4e66af3958448b9a44b39fcb26b NumGe ForallInDef AlreadyCombined
eb66dd4295956e28fd64fc3649ae5339d136534f NumLt ForallInDef AlreadyCombined
86405bc57928116fea8aae648305fd4b2ac3afcc NumLt ForallInDef AlreadyCombined
126fe5e4c5c4863b1834d4c03058c93e161aa556 NumLe ForallInDef AlreadyCombined
4a25243ec2e48626e8e3dc663dfe129f3a5486ac NumLe ForallInDef AlreadyCombined
d3da5a76c0a68c59564e97adba81ace4ff6d6102 DefFun ForallInDef AlreadyCombined
fc95dc2d220c51253b1967df5a55b58492f78804 DefFun ForallInDef AlreadyCombined
f02c6820926bc4afcc1111ce7a5b2626d9c0cc14 LetDefFun ForallInDef AlreadyCombined
bc20762f37a5f4568a205c723c69006f94592d85 LetDefFun ForallInDef AlreadyCombined
1a033aea2aaa8cb5ae9d155e9a2e197237af8273 DefFunRecursive ForallInDef AlreadyCombined
233e7052161e4223572d925f6ea9d343ff918847 DefFunRecursive ForallInDef AlreadyCombined
0ef46169f39bc3e19a82cca41172cb11946caeb5 LetDefFunRecursive ForallInDef AlreadyCombined
e07e0fff3e3b98a90507e74238d9598428c7d619 LetDefFunRecursive ForallInDef AlreadyCombined
a1d2e3d08a5361c2d4b45d47cd438bb082d82702 DefFunInDef ForallInDef AlreadyCombined
c80166dd8f616a5b0659a55896ed99c43d4385cc DefFunInDef ForallInDef AlreadyCombined
6eb1e5716901670fa0d679dc0f470dba08bcce85 LetDefFunInDef ForallInDef AlreadyCombined
faa367edcd1fa9053f68679b77803ead7338e35a LetDefFunInDef ForallInDef AlreadyCombined
5c403451fc9e18bfaa66dc3e2fb2195b89c3fcf9 Def0 ForallInDef AlreadyCombined
61d1185a12de94055ff3d1a21844b68b42893325 Def0 ForallInDef AlreadyCombined
fdb90b90776ec883856959a826b2846597aca5f0 LetDef0 ForallInDef AlreadyCombined
648eb7380d39c20fc291b9a1de02f1e446071ff8 LetDef0 ForallInDef AlreadyCombined
596e3b06ed10694fd29a519d2875fb61f59c01eb Def1 ForallInDef AlreadyCombined
23944b311f718327ef7c33ee82f9730021df6928 Def1 ForallInDef AlreadyCombined
7ef134f8eea1756726cf227f1db1372444befa58 LetDef1 ForallInDef AlreadyCombined
c22549851715bc408b9711f3456c93340176c8a1 LetDef1 ForallInDef AlreadyCombined
45c9929ced96573e5bc4e241cc510cf12e6736c2 Def2 ForallInDef AlreadyCombined
126341912c27e8ed1cd8050a2c421fd9c2ef98c5 Def2 ForallInDef AlreadyCombined
fec5479c165c9bb4a35ad1c764c6034dd5f23d98 LetDef2 ForallInDef AlreadyCombined
99c38d784dcb11fd86840a0634ceefb6c4289840 LetDef2 ForallInDef AlreadyCombined
9eea14e00dbb0df4f6811ae598309fcb8bd7c2b1 Def1Recursive ForallInDef AlreadyCombined
0595ad02170b986eb2bfc2c89f1f46599a3d31d8 Def1Recursive ForallInDef AlreadyCombined
6c4e71cee7ee84f416db2c723a38eba599858ffe LetDef1Recursive ForallInDef AlreadyCombined
702c0922da557b375975cf0ae5229e982336ad67 LetDef1Recursive ForallInDef AlreadyCombined
4a5bb817e42a978c51f9194e59d19806c2556306 Extends ForallInDef AlreadyCombined
6742ec0bdf0c89b22c99d25afe9bdf5e04dde530 Extends ForallInDef AlreadyCombined
21939d0b2f5ccc4446b18008850b46e945d08897 ExtendsInDifferentFolder ForallInDef AlreadyCombined
ca08aba08b390f06c7a983de96aff5207665c672 ExtendsInDifferentFolder ForallInDef AlreadyCombined
a1f31eae9d3666d268e6463949df0a04edadda80 Variable ForallInDef AlreadyCombined
5c034d2a859cc79cba585f7714222af1dfb4770e Variable ForallInDef AlreadyCombined
2c881ca34162703ea04a6ab6ddb373a8dc029383 VariableViewExclude ForallInDef AlreadyCombined
a1e13291550c5b930dfd7282dffd164d0cdd56af VariableViewExclude ForallInDef AlreadyCombined
1ade786f84d4cd9468c7065bc42933f7c45eef3a Constant ForallInDef AlreadyCombined
ed0b0be8972cf8b4d7099d45b987c69501059904 Constant ForallInDef AlreadyCombined
1e68106eb5851e12712454edb21f3e481012e2b7 ConstantModelValue ForallInDef AlreadyCombined
ae8e2c0e503031b984bf7e6b629e6b5fed7d4bf7 ConstantModelValue ForallInDef AlreadyCombined
93c4b94d77e6c034178163464be219ffee39c25a ConstantRank1 ForallInDef AlreadyCombined
6aa4f672e9a23c7280e78e8d1c46e58aa1b44895 ConstantRank1 ForallInDef AlreadyCombined
4ede754137677f73da8b6ee51d1f0240573a3619 Instance ForallInDef AlreadyCombined
30496d601f9a0930e6a394462f9388dd34533059 Instance ForallInDef AlreadyCombined
5d4abf12a897fa1bc1680016273e99b8906bb42b InstanceWith ForallInDef AlreadyCombined
c7a5016a1380ce1e8300aeb82d0d5dc45be39381 InstanceWith ForallInDef AlreadyCombined
4ef0af0a7d617bfc701c7970b4cbb63926dac0ae InstanceNamed ForallInDef AlreadyCombined
0961d664dee496b19107d3e562c41437768420d3 InstanceNamed ForallInDef AlreadyCombined
e028cd50f02e2367b7d8347e520db10793f05460 InstanceNamedWith ForallInDef AlreadyCombined
8f5977d402619c731e13ec748f943d238d548a81 InstanceNamedWith ForallInDef AlreadyCombined
5900006d11ea108e0d467218bb5c7785b9920445 InstanceInFolder ForallInDef AlreadyCombined
9ecc055d6d6ebc27190c4411caa3cf15b9af680a InstanceInFolder ForallInDef AlreadyCombined
db06e0137a1d3368882da1010b4e47a34b5b3c7e InstanceWithInFolder ForallInDef AlreadyCombined
0fd459cf2fb15277b54d657da8f429e1add4bb32 InstanceWithInFolder ForallInDef AlreadyCombined
dcc7c0238791b04787656442b78325c72e019a23 InstanceNamedInFolder ForallInDef AlreadyCombined
0287ab891a84d4a56551d5c1159227946e613739 InstanceNamedInFolder ForallInDef AlreadyCombined
6c3db55c049dc15e1a5fba337eb1c7dae2ced9a2 InstanceNamedWithInFolder ForallInDef AlreadyCombined
487b81030fbc2d5e921a2044ef0f0faf74f1a38b InstanceNamedWithInFolder ForallInDef AlreadyCombined
093af687e6937c72ec3ffd239c3227c9f95fbfb0 Enabled ForallInDef AlreadyCombined
7e716b4262d48774804dfa9af9b2c31f2095a1ce Enabled ForallInDef AlreadyCombined
c1caca92c8eeac5a3ec0750b68492c88c22a50d2 Assume ForallInDef AlreadyCombined
4345a1fd7853882d9bda60de87681c3a44a11692 Assume ForallInDef AlreadyCombined
5956bc69e5cf1103039ba945d4f669e2850d25a9 AssumeNamed ForallInDef AlreadyCombined
6cfd16a818becf9b3f1f14b7790bac9d253de438 AssumeNamed ForallInDef AlreadyCombined
0b3edb8aa605abc258f513b5866a5dc3f4684de0 Lambda ForallInDef AlreadyCombined
590ef4e3b9cd4d3cf83c4260bb1314fbd9ed4b60 Lambda ForallInDef AlreadyCombined
7284a0b20e4b229fe33a5fbd502b2c573934be22 Cross2 ForallInDef AlreadyCombined
6ed6a7d20b8b322014100293a8f54a8e21247c29 Cross2 ForallInDef AlreadyCombined
c38e1f9c5c73e96cbc041a5ecc7883a2b75dd798 Cross3 ForallInDef AlreadyCombined
29625a12a2c4b8b8c046dac56fe08574f9c1f867 Cross3 ForallInDef AlreadyCombined
bbc30ec7b9f85e4e947d2f3d4560a864f66b7703 FunSet ForallInDef AlreadyCombined
11848a48a8fee099eb7a7752fcea1479299ff339 FunSet ForallInDef AlreadyCombined
f148f8bbd5808a2da2e82935753d585da8b669d4 RecordSet ForallInDef AlreadyCombined
7a8c87416eb10e54c6c1d06bdef14cdb6031c4b9 RecordSet ForallInDef AlreadyCombined
ca73b4f60afa00f2f352dfd6a4965d8452fc548f SetDiff ForallInDef AlreadyCombined
3504679bd4744d0ebdf76776a7cf5f1c2ac86039 SetDiff ForallInDef AlreadyCombined
f4281c46952b7e09f5fe8ac4aca0eb05fa889b0f SetUnion ForallInDef AlreadyCombined
1a469d873ee4b85d172c307712890143567199af SetUnion ForallInDef AlreadyCombined
ef19a0d7a9e366b7674f866a50af093bafd286b7 SetIntersect ForallInDef AlreadyCombined
cf470a2f98ca940284170484be5cc5fb8603df85 SetIntersect ForallInDef AlreadyCombined
7c5bd7e1e6f8869f165eec3c329faca29d09d2de SubsetEq ForallInDef AlreadyCombined
39b2b2270b74d9430c825517ce60be0688d099fd SubsetEq ForallInDef AlreadyCombined
549339f52d49dc80279a14ad98bc83568cd98099 IfCond ForallInDef AlreadyCombined
08ce1099abc74e83bb82cef0639ed74dcfe2c61a IfCond ForallInDef AlreadyCombined
05613c58cf6bdb5418cf86a6ebb13b4de7f4f787 IfThen ForallInDef AlreadyCombined
2dfa694d5dfac6cbbdfdf45b91d05aebd86cd025 IfThen ForallInDef AlreadyCombined
7df363e37d2abc5c294efa4ec5d7e4ce5328b79b IfElse ForallInDef AlreadyCombined
a4c4cfd6eccb8b8604a0896de54708ca05e97ef4 IfElse ForallInDef AlreadyCombined
8b5ad1efc4f6afdcb984807ab50c6013ba7fdbca Subset ForallInDef AlreadyCombined
9129185e3df426b7fad268cfadf162cc6331a379 Subset ForallInDef AlreadyCombined
68373826da2d1e30922dbe6a0f3d9fd577006f33 Domain ForallInDef AlreadyCombined
cc7e72a0349a1a4f6da07b73882762d417ec2a9b Domain ForallInDef AlreadyCombined
3fddc9ca71cb195bf3fea1aa9c8dc9330c255052 Union ForallInDef AlreadyCombined
532f6bf03d0a51170664367eb768c5bd299144f9 Union ForallInDef AlreadyCombined
07da4cf3c3d9a691c7da4f22d9ec168597636213 Unchanged ForallInDef AlreadyCombined
e3d164dc6f608ddc2027887ff373ff50369ef07a Unchanged ForallInDef AlreadyCombined
9839ba71ee759d8fab571c22fdc8a0236e1b8b46 Equivalence ForallInDef AlreadyCombined
3dc3113c262ca3f4592cda2f440c269db87f3f9a Equivalence ForallInDef AlreadyCombined
779b440fa391fb8e8e6b8e71363ffe8fadebc9e2 StringEmpty ForallInDef AlreadyCombined
787131fff3d86e4d19d18b936da985eede79effd StringEmpty ForallInDef AlreadyCombined
c4830ca15a27c547e5e9b220f83ba13484fb9b1f String ForallInDef AlreadyCombined
eca29f566acb8f39291fc9b8aa0cdb11f50358f5 String ForallInDef AlreadyCombined
d0ceb8036aeaa056862a951e33d35ff7ff7c27ee SeqLen ForallInDef AlreadyCombined
78560111203f7f77368b91aaf1800b5c3c6aa59a SeqLen ForallInDef AlreadyCombined
9f74124fa8e05edc2961ee347f0995a9a5200f04 SeqConcat ForallInDef AlreadyCombined
3a0647f8c20bfe662c11bfe7e3f84e58c07b3696 SeqConcat ForallInDef AlreadyCombined
6a21f03746ad73ac3ce170456b53e48e7fcbd3fa SeqSeq ForallInDef AlreadyCombined
604a121820b3d96de902764b5488ee119c07aba4 SeqSeq ForallInDef AlreadyCombined
ecdfc4e7540045586c2051009a2348a693490f07 NatSet ForallInDef AlreadyCombined
95e6dfe1525d18d8f3835fc614300eb55b3f1610 NatSet ForallInDef AlreadyCombined
78ce6d0f4207a823a4414be4b33470c3439df942 IntSet ForallInDef AlreadyCombined
0f9cb137aed15be30d0c3810857907eda2052c81 IntSet ForallInDef AlreadyCombined
d2030d91e7d3a7637cffce93bf5baa38cad2f403 StringSet ForallInDef AlreadyCombined
73947353dd2e7a07d5373305abee5d233eb26f74 StringSet ForallInDef AlreadyCombined
2a28cdf0ff039fd355ac14cb8caf0b93da04c9f1 SeqSelectSeq ForallInDef AlreadyCombined
b375e2de743df5689692b74ab48d7f158a0d506f SeqSelectSeq ForallInDef AlreadyCombined
ad110d9a32b0f28445f5ce3346c699aa03a57034 SeqSubSeq ForallInDef AlreadyCombined
e088166684491ec281646ef66ca15b5b4f989d01 SeqSubSeq ForallInDef AlreadyCombined
996f2f0b21d42ab7097eef8d07854ec5227b5357 NumRange ForallInDef AlreadyCombined
10197a3e86a4f57355df202866f7e87102354d79 NumRange ForallInDef AlreadyCombined
769b4b75850f9d7d1e97ce8ae9e9bb4d91101402 TlcSingletonFun ForallInDef AlreadyCombined
62f4eaec58e983adb39fc4fbdaee1cbb1a18aca1 TlcSingletonFun ForallInDef AlreadyCombined
ce455a4f0bcf98b780bdab8ad1325d27aeabe1a1 TlcExtendFun ForallInDef AlreadyCombined
42e133e0ae48313e182713f35092031df404260f TlcExtendFun ForallInDef AlreadyCombined
040f203c3eea22ff648fab289e454e863caeb057 TlcPermuteFun ForallInDef AlreadyCombined
bd27e55788e89d9c3343c0276ba883f763c00599 TlcPermuteFun ForallInDef AlreadyCombined
84515ff4233ea8ef84cd1ba17b6afdbf64b24196 TlcSortSeq ForallInDef AlreadyCombined
e70edb012def5ce1bb1eb0404babc214c71978a1 TlcSortSeq ForallInDef AlreadyCombined
ae484a2fbf49c5af237f21615d345b436d6a4c2a TlcEval ForallInDef AlreadyCombined
f79f8e24ca5ac81e0b70ef09e203ea9b8a42a0fc TlcEval ForallInDef AlreadyCombined
535dac40088e74c7de475bb7959a26d498d97dec BagBagToSet ForallInDef AlreadyCombined
f3f04896ee4f13d95bcd9227b9ea47e9410719c7 BagBagToSet ForallInDef AlreadyCombined
35eb0fd9e23a15210abf9c39aba7cf904237acfd BagSetToBag ForallInDef AlreadyCombined
211a3cd1f6c5f1d52e30311269244712b2a80b06 BagSetToBag ForallInDef AlreadyCombined
d4127ec56c8d50408355cff042b44a6b708aaddd BagBagIn ForallInDef AlreadyCombined
f70ebe98cc7b2d0d6bdbf792c45b4c4645cc671b BagBagIn ForallInDef AlreadyCombined
d61383cb84f541b0802485e49d5bf4a66d4c5aed BagEmptyBag ForallInDef AlreadyCombined
d2a337ec95e12bc2c4dac91359d316ff7e167830 BagEmptyBag ForallInDef AlreadyCombined
e12e31d6acc97bac3bfda2edc682adb31e3c63a1 BagAddBag ForallInDef AlreadyCombined
7982ac6cd0f57eb7679a9790bcb1fa024d5161b8 BagAddBag ForallInDef AlreadyCombined
0577872da9e9c83b30231eebf61830b317ef1cbb BagBagSub ForallInDef AlreadyCombined
7f1f4a894d53612a1062d157b2320c425a12e621 BagBagSub ForallInDef AlreadyCombined
ebb1e30a49d379539106a9a1fcefe8115447ff1b BagCopiesIn ForallInDef AlreadyCombined
fd5330ac832ccceff04bf00c896b27a991617575 BagCopiesIn ForallInDef AlreadyCombined
bcb20beef55325df107e7b69380a91a93305863f BagSubsetEqBag ForallInDef AlreadyCombined
bdc80ea30ce1926d939513ee1b8d29e642b56954 BagSubsetEqBag ForallInDef AlreadyCombined
4145fb18e82e75198ce63dec76b5299a91cc00ab BagBagUnion ForallInDef AlreadyCombined
450d3f4e5cf9708a788113461097d40c6e5de19b BagBagUnion ForallInDef AlreadyCombined
58d59144689d1c1ba2deadc536682226171a870e BagBagCardinality ForallInDef AlreadyCombined
98f5c329c99e9fd3a56619a64981772d2c6e75e0 BagBagCardinality ForallInDef AlreadyCombined
e8cd8838f79e06ef06200620d68801d87c9b7e6e BagBagOfAll ForallInDef AlreadyCombined
e126c77e1f5ce4fdfcd269df62d9a1fc233b9fef BagBagOfAll ForallInDef AlreadyCombined
d115106d1757885d3edfe43a80485ce8255a1c13 BagSubBag ForallInDef AlreadyCombined
5d06e8a3dc8a3f2581ab776e7e60874ee60cae38 BagSubBag ForallInDef AlreadyCombined
4d8d56411fd16493137e7a5a7801b92f13950666 FiniteSetsIsFiniteSet ForallInDef AlreadyCombined
446c5f6d7a10cb0b34b89667eac74aaa1fa69c9d FiniteSetsIsFiniteSet ForallInDef AlreadyCombined
b3671f44c2077dc3e62e0f23839f8bfec2da44e1 FiniteSetsCardinality ForallInDef AlreadyCombined
846f429ffaae1786105fa87a55d4e1acfb7f0736 FiniteSetsCardinality ForallInDef AlreadyCombined
3a32db832443a77f1fab8853dae0ddf30ba4641d SeqHead ForallInDef AlreadyCombined
2954d81690956a4d064fefe420e3e116775bf71f SeqHead ForallInDef AlreadyCombined
1a0e2003d33aa22f82d075c9ea834bee24f28b1c SeqTail ForallInDef AlreadyCombined
530ddd0b9cb2680fbab31c0d2f373b40432af89a SeqTail ForallInDef AlreadyCombined
b7ae3a4238c1840bf2536c7ba0b33ca11d91f234 SeqAppend ForallInDef AlreadyCombined
f0d970606bd26d08f7df21a65625cf15f843d957 SeqAppend ForallInDef AlreadyCombined