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/TutorialI/Inductive/document/Even.tex
changeset 17181 5f42dd5e6570
parent 17175 1eced27ee0e1
child 17187 45bee2f6e61f
equal deleted inserted replaced
17180:5fefe658a6f8 17181:5f42dd5e6570 
     1 %
 
     1 %
 
     2 \begin{isabellebody}%
 
     2 \begin{isabellebody}%
 
     3 \def\isabellecontext{Even}%
 
     3 \def\isabellecontext{Even}%
 
       
     4 \isamarkupfalse%
 
     4 %
 
     5 %
 
     5 \isadelimtheory
 
     6 \isadelimtheory
 
     6 \isanewline
 
     7 \isanewline
 
     7 %
 
     8 %
 
     8 \endisadelimtheory
 
     9 \endisadelimtheory
isabelle