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.
doc-src/IsarRef/Thy/pure.thy
changeset 26957 e3f04fdd994d
parent 26894 1120f6cc10b0
child 27040 3d3e6e07b931
equal deleted inserted replaced
26956:1309a6a0a29f 26957:e3f04fdd994d 
     1 (* $Id$ *)
 
     1 (* $Id$ *)
 
     2 
     2 
     3 theory pure
 
     3 theory pure
 
     4 imports CPure
 
     4 imports Pure
 
     5 begin
 
     5 begin
 
     6 
     6 
     7 chapter {* Basic language elements \label{ch:pure-syntax} *}
 
     7 chapter {* Basic language elements \label{ch:pure-syntax} *}
 
     8 
     8 
     9 text {*
 
     9 text {*
isabelle