equal
deleted
inserted
replaced
|
1 |
|
2 % $Id$ |
1 |
3 |
2 \input{style} |
4 \input{style} |
3 |
5 |
4 \hyphenation{Isabelle} |
6 \hyphenation{Isabelle} |
5 |
7 |
19 |
21 |
20 \tableofcontents |
22 \tableofcontents |
21 |
23 |
22 \parindent 0pt \parskip 0.5ex |
24 \parindent 0pt \parskip 0.5ex |
23 |
25 |
24 \input{BasicLogic.tex} |
26 \input{BasicLogic} |
25 \input{Cantor.tex} |
27 \input{Cantor} |
26 \input{Peirce.tex} |
28 \input{Peirce} |
27 \input{ExprCompiler.tex} |
29 \input{ExprCompiler} |
28 \input{Group.tex} |
30 \input{Group} |
29 \input{Summation.tex} |
31 \input{Summation} |
30 \input{KnasterTarski.tex} |
32 \input{KnasterTarski} |
31 \input{MutilatedCheckerboard.tex} |
33 \input{MutilatedCheckerboard} |
32 \input{MultisetOrder.tex} |
34 \input{MultisetOrder} |
33 \input{W_correct.tex} |
35 \input{W_correct} |
34 \input{Fibonacci.tex} |
36 \input{Fibonacci} |
35 \input{Puzzle.tex} |
37 \input{Puzzle} |
36 \input{NestedDatatype.tex} |
38 \input{NestedDatatype} |
37 |
39 |
38 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL} |
40 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL} |
39 \bibliographystyle{plain} |
41 \bibliographystyle{plain} |
40 \bibliography{root} |
42 \bibliography{root} |
41 |
43 |