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