blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49249
moved MaSh into own files
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49248
distinguish updates and queries + cleanups
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49247
don't ask E to generate a detailed proofs if not needed
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49246
tuning
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49245
gracefully compute cardinality of sets (to avoid type protectors)
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49244
better tautology elimination
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49243
generate lambdas and skolems again
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49242
tuning
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49241
generate deep terms as feature
blanchet [Tue, 10 Jul 2012 23:36:03 +0200] rev 49240
generate theory name as a feature