equal
deleted
inserted
replaced
90 |
90 |
91 ML \<open>open ML_System\<close> |
91 ML \<open>open ML_System\<close> |
92 ML \<open> |
92 ML \<open> |
93 open Kernel; |
93 open Kernel; |
94 open Math_Engine; |
94 open Math_Engine; |
95 open Test_Code; CalcTreeTEST; |
95 open Test_Code; Test_Code.init_calc @{context}; |
96 open LItool; arguments_from_model; |
96 open LItool; arguments_from_model; |
97 open Sub_Problem; |
97 open Sub_Problem; |
98 open Fetch_Tacs; |
98 open Fetch_Tacs; |
99 open Step |
99 open Step |
100 open Env; |
100 open Env; |