doc-src/TutorialI/tutorial.tex
changeset 10236 7626cb4e1407
parent 10212 33fe2d701ddd
child 10272 c02171c5fb20
equal deleted inserted replaced
10235:20cf817f3b4a 10236:7626cb4e1407
    64 \clearfirst
    64 \clearfirst
    65 
    65 
    66 \input{basics}
    66 \input{basics}
    67 \input{fp}
    67 \input{fp}
    68 \chapter{The Rules of the Game}
    68 \chapter{The Rules of the Game}
       
    69 \label{ch:Rules}
    69 \input{sets}
    70 \input{sets}
    70 \input{Inductive/inductive}
    71 \input{Inductive/inductive}
    71 \input{Advanced/advanced}
    72 \input{Advanced/advanced}
    72 \chapter{More about Types}
    73 \chapter{More about Types}
    73 \chapter{Theory Presentation}
    74 \chapter{Theory Presentation}