equal
deleted
inserted
replaced
86 Proving in Isabelle/HOL}. |
86 Proving in Isabelle/HOL}. |
87 \fi |
87 \fi |
88 |
88 |
89 \ifsem\else |
89 \ifsem\else |
90 \paragraph{Acknowledgements} |
90 \paragraph{Acknowledgements} |
91 I wish to thank the following people for their comments |
91 I wish to thank the following people for their comments on this document: |
92 on this document: |
92 Florian Haftmann, Ren\'{e} Thiemann, Sean Seefried and Christian Sternagel. |
93 Florian Haftmann, Ren\'{e} Thiemann and Christian Sternagel. |
|
94 \fi |
93 \fi |