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/ex/ROOT.ML
changeset 19997 fe69952f09f6
parent 19832 1a09f25410da
child 20325 ec52000deb44
equal deleted inserted replaced
19996:a4332e71c1de 19997:fe69952f09f6 
     7 no_document time_use_thy "Classpackage";
 
     7 no_document time_use_thy "Classpackage";
 
     8 no_document time_use_thy "Codegenerator";
 
     8 no_document time_use_thy "Codegenerator";
 
     9 
     9 
    10 time_use_thy "Higher_Order_Logic";
 
    10 time_use_thy "Higher_Order_Logic";
 
    11 time_use_thy "Abstract_NAT";
 
    11 time_use_thy "Abstract_NAT";
 
       
    12 time_use_thy "Guess";
 
    12 
    13 
    13 time_use_thy "Recdefs";
 
    14 time_use_thy "Recdefs";
 
    14 time_use_thy "InductiveInvariant_examples";
 
    15 time_use_thy "InductiveInvariant_examples";
 
    15 time_use_thy "Primrec";
 
    16 time_use_thy "Primrec";
 
    16 time_use_thy "Locales";
 
    17 time_use_thy "Locales";
isabelle