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