src/HOL/TPTP/TPTP_Parser/tptp.yacc
Wed, 04 Apr 2012 16:29:17 +0100 sultana tuned;
Wed, 04 Apr 2012 16:29:16 +0100 sultana refactored tptp lex;
Wed, 04 Apr 2012 16:29:16 +0100 sultana refactored tptp yacc to bring close to official spec;
Fri, 09 Mar 2012 15:38:55 +0000 sultana added tptp parser;
less more (0) tip