doc-src/TutorialI/Inductive/document/Even.tex
changeset 43564 9864182c6bad
parent 40406 313a24b66a8d
equal deleted inserted replaced
43563:aeabb735883a 43564:9864182c6bad
    12 {\isafoldtheory}%
    12 {\isafoldtheory}%
    13 %
    13 %
    14 \isadelimtheory
    14 \isadelimtheory
    15 %
    15 %
    16 \endisadelimtheory
    16 \endisadelimtheory
       
    17 %
       
    18 \isadelimML
       
    19 %
       
    20 \endisadelimML
       
    21 %
       
    22 \isatagML
       
    23 %
       
    24 \endisatagML
       
    25 {\isafoldML}%
       
    26 %
       
    27 \isadelimML
       
    28 %
       
    29 \endisadelimML
    17 %
    30 %
    18 \isamarkupsection{The Set of Even Numbers%
    31 \isamarkupsection{The Set of Even Numbers%
    19 }
    32 }
    20 \isamarkuptrue%
    33 \isamarkuptrue%
    21 %
    34 %