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 1572 dbecd983863f
parent 1442 7a8a30b11a24
child 7240 a509730e424b
equal deleted inserted replaced
1571:b4aced335d94 1572:dbecd983863f 
    22 
    22 
    23 use_thy "MonoidGroupInsts";
 
    23 use_thy "MonoidGroupInsts";
 
    24 
    24 
    25 use_thy "GroupDefs";
 
    25 use_thy "GroupDefs";
 
    26 use_thy "GroupInsts";
 
    26 use_thy "GroupInsts";
 
    27 
       
    28 make_chart ();   (*make HTML chart*)
isabelle