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/Provers/induct_method.ML
changeset 15708 ef7b74e52f11
parent 15703 727ef1b8b3ee
child 15794 5de27a5fc5ed
equal deleted inserted replaced
15707:80b421d8a8be 15708:ef7b74e52f11 
   363   [Method.add_methods
 
   363   [Method.add_methods
 
   364     [(InductAttrib.casesN, cases_meth oo cases_args, "case analysis on types or sets"),
 
   364     [(InductAttrib.casesN, cases_meth oo cases_args, "case analysis on types or sets"),
 
   365      (InductAttrib.inductN, induct_meth oo induct_args, "induction on types or sets")]];
 
   365      (InductAttrib.inductN, induct_meth oo induct_args, "induction on types or sets")]];
 
   366 
   366 
   367 end;
 
   367 end;
 
       
   368
isabelle