equal
deleted
inserted
replaced
75 use_thy "Knowledge/RootRatEq" |
75 use_thy "Knowledge/RootRatEq" |
76 use_thy "Knowledge/PolyEq" |
76 use_thy "Knowledge/PolyEq" |
77 use_thy "Knowledge/Vect" |
77 use_thy "Knowledge/Vect" |
78 use_thy "Knowledge/Calculus" |
78 use_thy "Knowledge/Calculus" |
79 use_thy "Knowledge/Trig" |
79 use_thy "Knowledge/Trig" |
|
80 use_thy "Knowledge/LogExp" |
80 |
81 |
81 use_thy "Knowledge/LogExp" |
82 use_thy "Knowledge/Diff" |
82 |
83 |
83 ML {* |
84 ML {* |
84 *} |
85 *} |
85 |
86 |
86 |
87 |
87 text {*------------------------------------------*} |
88 text {*------------------------------------------*} |
88 (* |
89 (* |
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" |
94 use_thy "Knowledge/AlgEin" |
94 use_thy "Knowledge/AlgEin" |