Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | took out test driver | file | diff | annotate |
Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | test driver | file | diff | annotate |
Tue, 05 Aug 2014 15:54:47 +0200 | blanchet | correctly interpret arithmetic types | file | diff | annotate |
Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
Tue, 17 Apr 2012 16:14:07 +0100 | sultana | simplified interpretation of '$i'; | file | diff | annotate |
Tue, 17 Apr 2012 16:14:06 +0100 | sultana | split TPTP_Parser thy -- parser can rely on smaller image, whereas TPTP_Interpret requires HOL; | file | diff | annotate |