Mercurial Mercurial > repos > isabelle / comparison
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/Tools/res_atp_provers.ML
changeset 17907 c20e4bddcb11
parent 17905 1574533861b1
child 18196 02f1c4022484
equal deleted inserted replaced
17906:719364f5179b 17907:c20e4bddcb11 
     1 (*  ID:         $Id$
 
     1 (*  ID:         $Id$
 
     2     Author:     Jia Meng 
     2     Author:     Jia Meng, NICTA
 
     3 
     3 
     4 Functions used for ATP Oracle.
 
     4 Functions used for ATP Oracle.
 
     5 *)
 
     5 *)
 
     6 
     6 
     7 
     7
isabelle