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 61232 c46faf9762f7
parent 61224 759b5299a9f2
child 61368 33a62b54f381
equal deleted inserted replaced
61231:cc6969542f8d 61232:c46faf9762f7 
   174   theories [document = false]
 
   174   theories [document = false]
 
   175     "Less_False"
 
   175     "Less_False"
 
   176   theories
 
   176   theories
 
   177     Tree_Set
 
   177     Tree_Set
 
   178     Tree_Map
 
   178     Tree_Map
 
       
   179     AVL_Map
 
   179     RBT_Map
 
   180     RBT_Map
 
   180   document_files "root.tex" "root.bib"
 
   181   document_files "root.tex" "root.bib"
 
   181 
   182 
   182 session "HOL-Import" in Import = HOL +
 
   183 session "HOL-Import" in Import = HOL +
 
   183   theories HOL_Light_Maps
 
   184   theories HOL_Light_Maps
isabelle