author | sultana |
Fri, 09 Mar 2012 15:38:55 +0000 | |
changeset 46844 | 5d9aab0c609c |
parent 46324 | e4bccf5ec61e |
child 47526 | 832ca5c3f1b1 |
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_Parser" ]; Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs) use_thys [ "ATP_Problem_Import", "CASC_Setup" ];