equal
deleted
inserted
replaced
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 use_thy "Knowledge/Integrate" |
84 use_thy "Knowledge/EqSystem" |
84 use_thy "Knowledge/EqSystem" |
|
85 use_thy "Knowledge/Biegelinie" |
85 |
86 |
86 use_thy "Knowledge/Biegelinie" |
87 use_thy "Knowledge/AlgEin" |
87 |
88 |
88 ML {* 111; |
89 ML {* 111; |
89 *} |
90 *} |
90 |
91 |
91 |
92 |
92 text {*------------------------------------------*} |
93 text {*------------------------------------------*} |
93 (* |
94 (* |
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 *) |
98 end |
98 end |
99 |
99 |