equal
deleted
inserted
replaced
31 \input{MutilatedCheckerboard.tex} |
31 \input{MutilatedCheckerboard.tex} |
32 \input{MultisetOrder.tex} |
32 \input{MultisetOrder.tex} |
33 \input{W_correct.tex} |
33 \input{W_correct.tex} |
34 \input{Fibonacci.tex} |
34 \input{Fibonacci.tex} |
35 \input{Puzzle.tex} |
35 \input{Puzzle.tex} |
|
36 \input{NestedDatatype.tex} |
36 |
37 |
37 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL} |
38 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL} |
38 \bibliographystyle{plain} |
39 \bibliographystyle{plain} |
39 \bibliography{root} |
40 \bibliography{root} |
40 |
41 |