Thu, 07 Aug 2014 12:17:41 +0200 took out test driver
blanchet [Thu, 07 Aug 2014 12:17:41 +0200] rev 57813
took out test driver
Thu, 07 Aug 2014 12:17:41 +0200 make TPTP tools work on polymorphic (TFF1) problems as well
blanchet [Thu, 07 Aug 2014 12:17:41 +0200] rev 57812
make TPTP tools work on polymorphic (TFF1) problems as well
Thu, 07 Aug 2014 12:17:41 +0200 put comments between TPTP lines to comply with TPTP BNF
blanchet [Thu, 07 Aug 2014 12:17:41 +0200] rev 57811
put comments between TPTP lines to comply with TPTP BNF
Thu, 07 Aug 2014 12:17:41 +0200 test driver
blanchet [Thu, 07 Aug 2014 12:17:41 +0200] rev 57810
test driver
Thu, 07 Aug 2014 12:17:41 +0200 treat variables as frees in 'conjecture's
blanchet [Thu, 07 Aug 2014 12:17:41 +0200] rev 57809
treat variables as frees in 'conjecture's
Thu, 07 Aug 2014 12:17:41 +0200 support TFF1 in TPTP parser/interpreter
blanchet [Thu, 07 Aug 2014 12:17:41 +0200] rev 57808
support TFF1 in TPTP parser/interpreter
Thu, 07 Aug 2014 12:17:41 +0200 tuning
blanchet [Thu, 07 Aug 2014 12:17:41 +0200] rev 57807
tuning
Thu, 07 Aug 2014 09:35:31 +0200 tuned
traytel [Thu, 07 Aug 2014 09:35:31 +0200] rev 57806
tuned
Thu, 07 Aug 2014 10:06:18 +0200 tuned
nipkow [Thu, 07 Aug 2014 10:06:18 +0200] rev 57805
tuned
Thu, 07 Aug 2014 09:48:04 +0200 tuned
nipkow [Thu, 07 Aug 2014 09:48:04 +0200] rev 57804
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip