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.
etc/components
changeset 57436 995f7ebd50ae
parent 56988 e8c0d894a205
child 59480 61d6d5cbbcd3
equal deleted inserted replaced
57435:312660c1a70a 57436:995f7ebd50ae 
     5 src/HOL/Mirabelle
 
     5 src/HOL/Mirabelle
 
     6 src/HOL/Mutabelle
 
     6 src/HOL/Mutabelle
 
     7 src/HOL/Library/Sum_of_Squares
 
     7 src/HOL/Library/Sum_of_Squares
 
     8 src/HOL/Tools
 
     8 src/HOL/Tools
 
     9 src/HOL/Tools/ATP
 
     9 src/HOL/Tools/ATP
 
    10 src/HOL/Tools/Sledgehammer/MaSh
 
       
    11 src/HOL/TPTP
 
    10 src/HOL/TPTP
isabelle