equal
deleted
inserted
replaced
62 \cleardoublepage\pagenumbering{arabic} |
62 \cleardoublepage\pagenumbering{arabic} |
63 |
63 |
64 \part{Elementary Techniques} |
64 \part{Elementary Techniques} |
65 \include{basics} |
65 \include{basics} |
66 \include{fp} |
66 \include{fp} |
67 \include{documents} |
67 \include{Documents/documents} |
68 |
68 |
69 \part{Logic and Sets} |
69 \part{Logic and Sets} |
70 \include{Rules/rules} |
70 \include{Rules/rules} |
71 \include{Sets/sets} |
71 \include{Sets/sets} |
72 \include{Inductive/inductive} |
72 \include{Inductive/inductive} |