equal
deleted
inserted
replaced
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 use_thy "Knowledge/LogExp" |
81 |
|
82 use_thy "Knowledge/Diff" |
81 use_thy "Knowledge/Diff" |
83 |
82 |
84 ML {* |
83 use_thy "Knowledge/DiffApp" |
|
84 |
|
85 ML {* 111; |
85 *} |
86 *} |
86 |
87 |
87 |
88 |
88 text {*------------------------------------------*} |
89 text {*------------------------------------------*} |
89 (* |
90 (* |
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" |
95 use_thy "Knowledge/Test" |
95 use_thy "Knowledge/Test" |