isabelle: File revisions

src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML

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
Wed, 04 Apr 2012 16:29:17 +0100	sultana	tuned;	file \| diff \| annotate
Wed, 04 Apr 2012 16:29:16 +0100	sultana	added interpretation for formula conditional;	file \| diff \| annotate
Wed, 04 Apr 2012 10:04:25 +0100	sultana	dealing with SMLNJ errors 'value type in structure doesn't match signature spec' (which originated from lack of type generalisation) and 'unresolved flex record' wrt tptp_interpret	file \| diff \| annotate
Fri, 16 Mar 2012 18:20:12 +0100	wenzelm	outer syntax command definitions based on formal command_spec derived from theory header declarations;	file \| diff \| annotate
Thu, 15 Mar 2012 22:20:07 +0100	wenzelm	more precise TPTP keywords and dependencies;	file \| diff \| annotate
Mon, 12 Mar 2012 19:09:38 +0100	wenzelm	tuned headers;	file \| diff \| annotate
Fri, 09 Mar 2012 15:38:55 +0000	sultana	added tptp parser;	file \| diff \| annotate

isabelle