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/Provers/preorder.ML
changeset 76183 8089593a364a
parent 69815 56d5bb8c102e
equal deleted inserted replaced
76182:11fed9812b57 76183:8089593a364a 
     1 (*  Title:      src/Provers/preorder.ML
 
     1 (*  Title:      Provers/preorder.ML
 
     2     Author:     Oliver Kutter, TU Muenchen
 
     2     Author:     Oliver Kutter, TU Muenchen
 
     3 
     3 
     4 Reasoner for simple transitivity and quasi orders.
 
     4 Reasoner for simple transitivity and quasi orders.
 
     5 *)
 
     5 *)
 
     6 
     6
isabelle