isabelle: File revisions

src/HOL/TPTP/TPTP_Parser_Test.thy

Wed, 19 Feb 2014 15:57:02 +0000	sultana	made list of test files a parameter to timed_test in TPTP_Test.thy, and updated dependent definitions;	file \| diff \| annotate
Mon, 23 Apr 2012 12:23:23 +0100	sultana	moved function for testing problem-name parsing;	file \| diff \| annotate
Wed, 18 Apr 2012 22:39:35 +0200	blanchet	phase out "$TPTP_PROBLEMS_PATH"; prefer "$TPTP" for consistency with CASC setup	file \| diff \| annotate
Tue, 17 Apr 2012 23:22:40 +0100	sultana	added testing of tptp problem names;	file \| diff \| annotate
Tue, 17 Apr 2012 16:14:07 +0100	sultana	more cleaning of tptp tests;	file \| diff \| annotate
Tue, 17 Apr 2012 16:14:07 +0100	sultana	reorganised tptp testing thys	file \| diff \| annotate
Thu, 05 Apr 2012 00:37:22 +0100	sultana	tuned;	file \| diff \| annotate
Wed, 04 Apr 2012 21:57:39 +0100	sultana	improved import_tptp to use standard TPTP directory structure; extended the TPTP testing theory to include an example of using the import_tptp command;	file \| diff \| annotate
Fri, 09 Mar 2012 15:38:55 +0000	sultana	added tptp parser;	file \| diff \| annotate

isabelle