equal
deleted
inserted
replaced
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 use_thy "Knowledge/DiffApp" |
|
83 use_thy "Knowledge/Integrate" |
83 |
84 |
84 use_thy "Knowledge/Integrate" |
85 use_thy "Knowledge/EqSystem" |
85 |
86 |
86 ML {* 111; |
87 ML {* 111; |
87 *} |
88 *} |
88 |
89 |
89 |
90 |
90 text {*------------------------------------------*} |
91 text {*------------------------------------------*} |
91 (* |
92 (* |
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" |
97 *) |
97 *) |