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/AxClasses/Group/ROOT.ML
changeset 9000 c20d58286a51
parent 7650 c3e5e85de4c3
equal deleted inserted replaced
8999:ad8260dc6e4a 9000:c20d58286a51 
     6 *)
 
     6 *)
 
     7 
     7 
     8 set show_types;
 
     8 set show_types;
 
     9 set show_sorts;
 
     9 set show_sorts;
 
    10 
    10 
    11 use_thy "Monoid";
 
    11 time_use_thy "Monoid";
 
    12 use_thy "Group";
 
    12 time_use_thy "Group";
 
    13 use_thy "MonoidGroupInsts";
 
    13 time_use_thy "MonoidGroupInsts";
 
    14 use_thy "GroupInsts";
 
    14 time_use_thy "GroupInsts";
isabelle