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
Wed, 06 Aug 2014 18:20:31 +0200 merged
traytel [Wed, 06 Aug 2014 18:20:31 +0200] rev 57803
merged
Wed, 06 Aug 2014 16:00:11 +0200 handle deep nesting in N2M
traytel [Wed, 06 Aug 2014 16:00:11 +0200] rev 57802
handle deep nesting in N2M
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip