Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | gracefully compute cardinality of sets (to avoid type protectors) | changeset | files |
Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | better tautology elimination | changeset | files |
Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate lambdas and skolems again | changeset | files |