blanchet [Sat, 21 Apr 2012 11:15:49 +0200] rev 47646
tried to make SML/NJ happy
blanchet [Sat, 21 Apr 2012 11:15:49 +0200] rev 47645
tuned "max_relevant" defaults for SMT solvers based on Judgment Day
blanchet [Sat, 21 Apr 2012 11:15:49 +0200] rev 47644
prepend PWD to relative paths
blanchet [Sat, 21 Apr 2012 11:15:49 +0200] rev 47643
reintroduced old FOF and CNF parsers, to work around TPTP_Parser failures
blanchet [Sat, 21 Apr 2012 11:15:49 +0200] rev 47642
swap out Satallax, pull in E-SInE again -- it's not clear yet how useful Satallax is after proof reconstruction, whereas E-SInE performed surprisingly well on latest evaluations
huffman [Sat, 21 Apr 2012 07:33:47 +0200] rev 47641
new transfer package rules and lifting setup for lists
huffman [Sat, 21 Apr 2012 06:49:04 +0200] rev 47640
strengthen rule list_all2_induct
wenzelm [Fri, 20 Apr 2012 23:57:29 +0200] rev 47639
more standard Theory_Data setup;
keep meta-comments within the history;
wenzelm [Fri, 20 Apr 2012 23:34:03 +0200] rev 47638
merged
huffman [Fri, 20 Apr 2012 22:05:07 +0200] rev 47637
add transfer rule for nat_case