src/HOL/TPTP/ROOT.ML

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/TPTP/ROOT.ML	Wed Jul 13 22:16:19 2011 +0200
@@ -0,0 +1,14 @@
+(*  Title:      HOL/TPTP/ROOT.ML
+    Author:     Jasmin Blanchette, TU Muenchen
+    Author:     Nik Sultana, University of Cambridge
+    Copyright   2011
+
+TPTP-related extensions.
+*)
+
+use_thys [
+  "ATP_Export"
+];
+
+Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs)
+  use_thy "CASC_Setup";