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.
doc-src/IsarImplementation/Thy/ROOT.ML
changeset 39884 a16b18fd6299
parent 39822 0de42180febe
child 46295 2548a85b0e02
equal deleted inserted replaced
39883:3d3d6038bdaa 39884:a16b18fd6299 
     2   "Integration",
 
     2   "Integration",
 
     3   "Isar",
 
     3   "Isar",
 
     4   "Local_Theory",
 
     4   "Local_Theory",
 
     5   "Logic",
 
     5   "Logic",
 
     6   "ML",
 
     6   "ML",
 
     7   "ML_old",
 
       
     8   "Prelim",
 
     7   "Prelim",
 
     9   "Proof",
 
     8   "Proof",
 
    10   "Syntax",
 
     9   "Syntax",
 
    11   "Tactic"
 
    10   "Tactic"
 
    12 ];
 
    11 ];
isabelle