blanchet [Thu, 19 Dec 2013 17:52:58 +0100] rev 54824
refactored preplaying outcome data structure
blanchet [Thu, 19 Dec 2013 17:24:17 +0100] rev 54823
distinguish not preplayed & timed out
blanchet [Thu, 19 Dec 2013 17:11:54 +0100] rev 54822
pick up tfree/tvar type from SPASS-Pirate proof
blanchet [Thu, 19 Dec 2013 16:11:20 +0100] rev 54821
tuning
blanchet [Thu, 19 Dec 2013 15:47:17 +0100] rev 54820
extended ATP types with sorts
blanchet [Thu, 19 Dec 2013 15:04:21 +0100] rev 54819
removed debugging output
blanchet [Thu, 19 Dec 2013 14:57:21 +0100] rev 54818
honor SPASS-Pirate type arguments
blanchet [Thu, 19 Dec 2013 13:46:42 +0100] rev 54817
made SML/NJ-friendlier (hopefully)
blanchet [Thu, 19 Dec 2013 13:43:21 +0100] rev 54816
made timeouts in Sledgehammer not be 'option's -- simplified lots of code
blanchet [Thu, 19 Dec 2013 10:15:12 +0100] rev 54815
simplified data structure