equal
deleted
inserted
replaced
18 \end{abstract} |
18 \end{abstract} |
19 |
19 |
20 \tableofcontents |
20 \tableofcontents |
21 |
21 |
22 \parindent 0pt \parskip 0.5ex |
22 \parindent 0pt \parskip 0.5ex |
23 \input{session} |
23 |
|
24 \input{BasicLogic.tex} |
|
25 \input{Cantor.tex} |
|
26 \input{Peirce.tex} |
|
27 \input{ExprCompiler.tex} |
|
28 \input{Group.tex} |
|
29 \input{Summation.tex} |
|
30 \input{KnasterTarski.tex} |
|
31 \input{MutilatedCheckerboard.tex} |
|
32 \input{MultisetOrder.tex} |
|
33 \input{W_correct.tex} |
|
34 \input{Primes.tex} |
|
35 \input{Fibonacci.tex} |
|
36 \input{Puzzle.tex} |
24 |
37 |
25 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL} |
38 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL} |
26 \bibliographystyle{plain} |
39 \bibliographystyle{plain} |
27 \bibliography{root} |
40 \bibliography{root} |
28 |
41 |