equal
deleted
inserted
replaced
1151 \medskip |
1151 \medskip |
1152 |
1152 |
1153 \noindent |
1153 \noindent |
1154 {\bf Acknowledgements:} We would like to thank Peter Homeier for the |
1154 {\bf Acknowledgements:} We would like to thank Peter Homeier for the |
1155 discussions about his HOL4 quotient package and explaining to us |
1155 discussions about his HOL4 quotient package and explaining to us |
1156 some of its finer points in the implementation. |
1156 some of its finer points in the implementation. Without his patient |
|
1157 help, this work would have been impossible. |
1157 |
1158 |
1158 *} |
1159 *} |
1159 |
1160 |
1160 |
1161 |
1161 |
1162 |