equal
deleted
inserted
replaced
84 by page 93 and 95. The identifiers used in this book are re-used in this thesis |
84 by page 93 and 95. The identifiers used in this book are re-used in this thesis |
85 in order to support reference (although some of these identifiers |
85 in order to support reference (although some of these identifiers |
86 doe not conform with the Isabelle coding standards) |
86 doe not conform with the Isabelle coding standards) |
87 *}*) |
87 *}*) |
88 |
88 |
89 print_depth 20; |
89 print_depth 3; (*20*) |
90 type unipoly = int list; |
90 type unipoly = int list; |
91 |
91 |
92 "----------- auxiliary functions univariate -------------"; |
92 "----------- auxiliary functions univariate -------------"; |
93 "----------- auxiliary functions univariate -------------"; |
93 "----------- auxiliary functions univariate -------------"; |
94 "----------- auxiliary functions univariate -------------"; |
94 "----------- auxiliary functions univariate -------------"; |