/src/HOL/TPTP/
drwxr-xr-x [up]
drwxr-xr-x TPTP_Parser
drwxr-xr-x etc
drwxr-xr-x lib Tools
-rw-r--r-- 2012-04-17 16:14 +0100 282 ATP_Problem_Import.thy
-rw-r--r-- 2012-04-17 16:14 +0100 1076 ATP_Theory_Export.thy
-rw-r--r-- 2012-04-17 16:14 +0100 4755 CASC_Setup.thy
-rw-r--r-- 2012-04-17 16:14 +0100 357 ROOT.ML
-rw-r--r-- 2012-04-17 16:14 +0100 398 TPTP_Interpret.thy
-rw-r--r-- 2012-04-17 16:14 +0100 2954 TPTP_Interpret_Test.thy
-rw-r--r-- 2012-04-17 16:14 +0100 1821 TPTP_Parser.thy
-rw-r--r-- 2012-04-17 16:14 +0100 1998 TPTP_Parser_Example.thy
-rw-r--r-- 2012-04-17 16:14 +0100 2497 TPTP_Parser_Test.thy
-rw-r--r-- 2012-04-17 16:14 +0100 2828 TPTP_Test.thy
-rw-r--r-- 2012-04-17 16:14 +0100 5368 atp_problem_import.ML
-rw-r--r-- 2012-04-17 16:14 +0100 8531 atp_theory_export.ML