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/Pure/Isar/induct_attrib.ML
changeset 15710 b6b3df30cb0f
parent 15703 727ef1b8b3ee
child 15801 d2f5ca3c048d
equal deleted inserted replaced
15709:f04c3d668c65 15710:b6b3df30cb0f 
   232    Attrib.add_attributes
 
   232    Attrib.add_attributes
 
   233     [(casesN, cases_attr, "declaration of cases rule for type or set"),
 
   233     [(casesN, cases_attr, "declaration of cases rule for type or set"),
 
   234      (inductN, induct_attr, "declaration of induction rule for type or set")]];
 
   234      (inductN, induct_attr, "declaration of induction rule for type or set")]];
 
   235 
   235 
   236 end;
 
   236 end;
 
       
   237
isabelle