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 58023 62826b36ac5e
parent 57998 8b7508f848ef
child 58039 469a375212c1
equal deleted inserted replaced
58022:464c1815fde9 58023:62826b36ac5e 
   186     "~~/src/HOL/Algebra/FiniteProduct"
 
   186     "~~/src/HOL/Algebra/FiniteProduct"
 
   187   theories
 
   187   theories
 
   188     Pocklington
 
   188     Pocklington
 
   189     Gauss
 
   189     Gauss
 
   190     Number_Theory
 
   190     Number_Theory
 
       
   191     Euclidean_Algorithm
 
   191   document_files
 
   192   document_files
 
   192     "root.tex"
 
   193     "root.tex"
 
   193 
   194 
   194 session "HOL-Old_Number_Theory" in Old_Number_Theory = HOL +
 
   195 session "HOL-Old_Number_Theory" in Old_Number_Theory = HOL +
 
   195   description {*
 
   196   description {*
isabelle