Ingo Weinhold a3674601c0 HelperRules: Add FSetConditionsHold
A rule to check simple element containment conditions on sets.
2012-12-09 04:07:48 +01:00
..
2012-11-18 19:09:35 +00:00
2012-11-04 10:47:37 +01:00
2012-11-18 19:18:00 +00:00
2012-09-16 19:45:09 -04:00