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 use_thy "Knowledge/RootEq" |
72 use_thy "Knowledge/RootEq" |
|
73 use_thy "Knowledge/RatEq" |
|
74 use_thy "Knowledge/RootRat" |
|
75 use_thy "Knowledge/RootRatEq" |
73 |
76 |
74 |
77 use_thy "Knowledge/PolyEq" |
75 use_thy "Knowledge/RatEq" |
|
76 |
|
77 |
78 |
78 ML {* |
79 ML {* |
79 *} |
80 *} |
80 |
81 |
81 |
82 |
82 text {*------------------------------------------*} |
83 text {*------------------------------------------*} |
83 (* |
84 (* |
84 use_thy "Knowledge/RootRat" |
|
85 use_thy "Knowledge/RootRatEq" |
|
86 use_thy "Knowledge/PolyEq" |
|
87 use_thy "Knowledge/Vect" |
85 use_thy "Knowledge/Vect" |
88 use_thy "Knowledge/Calculus" |
86 use_thy "Knowledge/Calculus" |
89 use_thy "Knowledge/Trig" |
87 use_thy "Knowledge/Trig" |
90 use_thy "Knowledge/LogExp" |
88 use_thy "Knowledge/LogExp" |
91 use_thy "Knowledge/Diff" |
89 use_thy "Knowledge/Diff" |