equal
deleted
inserted
replaced
61 use_thy "Knowledge/Delete" |
61 use_thy "Knowledge/Delete" |
62 use_thy "Knowledge/Descript" |
62 use_thy "Knowledge/Descript" |
63 use_thy "Knowledge/Atools" |
63 use_thy "Knowledge/Atools" |
64 use_thy "Knowledge/Simplify" |
64 use_thy "Knowledge/Simplify" |
65 use_thy "Knowledge/Poly" |
65 use_thy "Knowledge/Poly" |
|
66 |
|
67 ML {* |
|
68 val m = (1,[2]); |
|
69 #1 m; |
|
70 fst m; |
|
71 *} |
66 use_thy "Knowledge/Rational" |
72 use_thy "Knowledge/Rational" |
67 use_thy "Knowledge/PolyMinus" |
73 use_thy "Knowledge/PolyMinus" |
68 use_thy "Knowledge/Equation" |
74 use_thy "Knowledge/Equation" |
69 use_thy "Knowledge/LinEq" |
75 use_thy "Knowledge/LinEq" |
70 use_thy "Knowledge/Root" |
76 use_thy "Knowledge/Root" |