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