Mercurial Mercurial > hg > isabelle-cookbook / 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.
CookBook/Package/Ind_Code.thy
changeset 118 5f003fdf2653
parent 110 12533bb49615
child 124 0b9fa606a746
equal deleted inserted replaced
117:796c6ea633b3 118:5f003fdf2653 
     1 theory Ind_Code
 
     1 theory Ind_Code
 
     2 imports "../Base" Simple_Inductive_Package
 
     2 imports "../Base" Simple_Inductive_Package
 
     3 begin
 
     3 begin
 
       
     4 
       
     5 text {*
 
       
     6 
       
     7   @{ML_chunk [display,gray] definitions_aux}
 
       
     8   @{ML_chunk [display,gray,linenos] definitions}
 
       
     9 
       
    10 *}
 
     4 
    11 
     5 text {*
 
    12 text {*
 
     6 
    13 
     7   @{ML_chunk [display,gray] induction_rules}
 
    14   @{ML_chunk [display,gray] induction_rules}
 
     8 
    15
isabelle-cookbook