equal
deleted
inserted
replaced
53 |
53 |
54 \tableofcontents |
54 \tableofcontents |
55 |
55 |
56 \cleardoublepage\pagenumbering{arabic} |
56 \cleardoublepage\pagenumbering{arabic} |
57 |
57 |
58 \part{Basic Techniques} %FIXME rename part to "Basic Concepts" (??) |
58 \part{Elementary Techniques} |
59 \input{basics} %FIXME mmw: rename section, move it before part I (??) |
59 \input{basics} |
60 \input{fp} |
60 \input{fp} |
61 \input{Documents/documents} |
61 \input{Documents/documents} |
62 |
62 |
63 \part{Logic and Sets} |
63 \part{Logic and Sets} |
64 \input{Rules/rules} |
64 \input{Rules/rules} |