src/HOL/TPTP/TPTP_Parser/tptp_problem_name.ML
Fri, 09 Mar 2012 15:38:55 +0000 sultana added tptp parser;
less more (0) tip