| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | moved MaSh into own files | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | distinguish updates and queries + cleanups | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | don't ask E to generate a detailed proofs if not needed | changeset | files |
| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | tuning | changeset | files |
| 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 |