Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/TPTP/ROOT.ML
author huffman
Sat, 21 Apr 2012 10:59:52 +0200
changeset 47647 ec29cc09599d
parent 47526 832ca5c3f1b1
child 47792 804fdf0f6006
permissions -rw-r--r--
renamed contravariant relator set_rel to vset_rel, to make room for new covariant relator
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
43804
eb9be23db2b7 cleanly separate TPTP related files from other examples
blanchet
parents:
diff changeset 
     1
 
(*  Title:      HOL/TPTP/ROOT.ML
eb9be23db2b7 cleanly separate TPTP related files from other examples
blanchet
parents:
diff changeset 
     2
 
    Author:     Jasmin Blanchette, TU Muenchen
eb9be23db2b7 cleanly separate TPTP related files from other examples
blanchet
parents:
diff changeset 
     3
 
    Author:     Nik Sultana, University of Cambridge
eb9be23db2b7 cleanly separate TPTP related files from other examples
blanchet
parents:
diff changeset 
     4
 
    Copyright   2011
eb9be23db2b7 cleanly separate TPTP related files from other examples
blanchet
parents:
diff changeset 
     5
 












eb9be23db2b7
cleanly separate TPTP related files from other examples



blanchet


parents: 

diff
changeset




     6


TPTP-related extensions.













eb9be23db2b7
cleanly separate TPTP related files from other examples



blanchet


parents: 

diff
changeset




     7


*)













eb9be23db2b7
cleanly separate TPTP related files from other examples



blanchet


parents: 

diff
changeset




     8














eb9be23db2b7
cleanly separate TPTP related files from other examples



blanchet


parents: 

diff
changeset




     9


use_thys [








46844






5d9aab0c609c
added tptp parser;



sultana


parents: 
46324

diff
changeset




    10


  "ATP_Theory_Export",








47526






832ca5c3f1b1
updated TPTP's ROOT.ML to include TPTP_Interpret;



sultana


parents: 
46844

diff
changeset




    11


  "TPTP_Interpret"








43804






eb9be23db2b7
cleanly separate TPTP related files from other examples



blanchet


parents: 

diff
changeset




    12


];













eb9be23db2b7
cleanly separate TPTP related files from other examples



blanchet


parents: 

diff
changeset




    13














eb9be23db2b7
cleanly separate TPTP related files from other examples



blanchet


parents: 

diff
changeset




    14


Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs)








46324






e4bccf5ec61e
added problem importer



blanchet


parents: 
46321

diff
changeset




    15


  use_thys [













e4bccf5ec61e
added problem importer



blanchet


parents: 
46321

diff
changeset




    16


    "ATP_Problem_Import",













e4bccf5ec61e
added problem importer



blanchet


parents: 
46321

diff
changeset




    17


    "CASC_Setup"













e4bccf5ec61e
added problem importer



blanchet


parents: 
46321

diff
changeset




    18


  ];















isabelle