Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/IsarRef/Thy/Generic.thy
changeset 26894 1120f6cc10b0
parent 26870 94bedbb34b92
child 26901 d1694ef6e7a7
equal deleted inserted replaced
26893:44d9960d3587 26894:1120f6cc10b0 
     1 (* $Id$ *)
 
     1 (* $Id$ *)
 
     2 
     2 
     3 theory Generic
 
     3 theory Generic
 
     4 imports CPure
 
     4 imports Main
 
     5 begin
 
     5 begin
 
     6 
     6 
     7 chapter {* Generic tools and packages \label{ch:gen-tools} *}
 
     7 chapter {* Generic tools and packages \label{ch:gen-tools} *}
 
     8 
     8 
     9 section {* Specification commands *}
 
     9 section {* Specification commands *}
wneuper/isa