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/ROOT
changeset 62152 7023a007712e
parent 62008 cbedaddc9351
child 62155 ec2f0dad8b98
equal deleted inserted replaced
62151:dc4c9748a86e 62152:7023a007712e 
   572     Tree23
 
   572     Tree23
 
   573     Bubblesort
 
   573     Bubblesort
 
   574     MergeSort
 
   574     MergeSort
 
   575     Lagrange
 
   575     Lagrange
 
   576     Groebner_Examples
 
   576     Groebner_Examples
 
   577     MT
 
       
   578     Unification
 
   577     Unification
 
   579     Primrec
 
   578     Primrec
 
   580     Tarski
 
   579     Tarski
 
   581     Classical
 
   580     Classical
 
   582     Set_Theory
 
   581     Set_Theory
isabelle