isabelle: Changelog

blanchet [Tue, 22 Jun 2010 23:54:16 +0200] rev 37510

merged

blanchet [Tue, 22 Jun 2010 23:54:02 +0200] rev 37509

factor out TPTP format output into file of its own, to facilitate further changes

blanchet [Tue, 22 Jun 2010 19:10:12 +0200] rev 37508

merged

blanchet [Tue, 22 Jun 2010 19:08:25 +0200] rev 37507

turn on "natural form" filtering in the Mirabelle tests, to see how it performs

blanchet [Tue, 22 Jun 2010 18:47:45 +0200] rev 37506

missing "Unsynchronized" + make exception take a unit

blanchet [Tue, 22 Jun 2010 18:31:49 +0200] rev 37505

added code to optionally perform fact filtering on the original (non-CNF) formulas

blanchet [Tue, 22 Jun 2010 17:10:01 +0200] rev 37504

more cosmetics

blanchet [Tue, 22 Jun 2010 17:07:39 +0200] rev 37503

cosmetics + prevent consideration of inlined Skolem terms in relevance filter

blanchet [Tue, 22 Jun 2010 16:50:55 +0200] rev 37502

canonical argument order

blanchet [Tue, 22 Jun 2010 16:40:36 +0200] rev 37501

leverage new data structure for handling "add:" and "del:"

isabelle