ROOTS

tuned sledehammer to return best succeeding preplay method

+
−src/Pure
+
−src/FOL
+
−src/HOL
+
−src/ZF
+
−src/CCL
+
−src/CTT
+
−src/Cube
+
−src/FOLP
+
−src/LCF
+
−src/Sequents
+
−src/Doc
+
−src/Tools
+
−