src/HOL/TPTP/sledgehammer_tactics.ML
Fri, 27 Apr 2012 15:24:37 +0200 blanchet move file to where it belongs
less more (0) tip