| author | haftmann |
| Wed, 18 Apr 2012 20:45:48 +0200 | |
| changeset 47551 | fd5bd1ea2570 |
| parent 47526 | 832ca5c3f1b1 |
| child 47792 | 804fdf0f6006 |
| permissions | -rw-r--r-- |
(* Title: HOL/TPTP/ROOT.ML Author: Jasmin Blanchette, TU Muenchen Author: Nik Sultana, University of Cambridge Copyright 2011 TPTP-related extensions. *) use_thys [ "ATP_Theory_Export", "TPTP_Interpret" ]; Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs) use_thys [ "ATP_Problem_Import", "CASC_Setup" ];