equal
deleted
inserted
replaced
1 \documentclass{article} |
1 \documentclass{article} |
2 \usepackage{cl2emono-modified,isabelle,isabellesym} |
2 \usepackage{cl2emono-modified,isabelle,isabellesym} |
3 \usepackage{../proof,amsmath,amsfonts} |
3 \usepackage{../proof,amsmath,amsfonts} |
4 \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment} |
4 \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment} |
5 \usepackage{../pdfsetup} %last package! |
5 \usepackage{../pdfsetup} |
|
6 %last package! |
6 |
7 |
7 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
8 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
8 %\remarksfalse |
9 %\remarksfalse |
9 |
10 |
10 \makeindex |
11 \makeindex |
38 \input{preface} |
39 \input{preface} |
39 |
40 |
40 \tableofcontents |
41 \tableofcontents |
41 |
42 |
42 \newpage\pagenumbering{arabic} |
43 \newpage\pagenumbering{arabic} |
43 |
|
44 \input{basics} |
44 \input{basics} |
45 \input{fp} |
45 \input{fp} |
46 \input{Rules/rules} |
46 \input{Rules/rules} |
47 \input{Sets/sets}\input{CTL/ctl} %these constitute ONE chapter |
47 \input{Sets/sets}\input{CTL/ctl} %these constitute ONE chapter |
48 \input{Inductive/inductive} |
48 \input{Inductive/inductive} |