equal
deleted
inserted
replaced
68 use_thy "Knowledge/PolyMinus" |
68 use_thy "Knowledge/PolyMinus" |
69 use_thy "Knowledge/Equation" |
69 use_thy "Knowledge/Equation" |
70 use_thy "Knowledge/LinEq" |
70 use_thy "Knowledge/LinEq" |
71 use_thy "Knowledge/Root" |
71 use_thy "Knowledge/Root" |
72 |
72 |
|
73 |
|
74 ML {* |
|
75 incr_boundvars; |
|
76 *} |
|
77 |
73 use_thy "Knowledge/RootEq" |
78 use_thy "Knowledge/RootEq" |
74 |
79 |
|
80 |
75 ML {* |
81 ML {* |
76 111; |
|
77 *} |
82 *} |
78 |
83 |
79 |
84 |
80 text {*------------------------------------------*} |
85 text {*------------------------------------------*} |
81 (* |
86 (* |