equal
deleted
inserted
replaced
10 open Kernel; |
10 open Kernel; |
11 open Math_Engine; |
11 open Math_Engine; |
12 open Test_Code; CalcTreeTEST; |
12 open Test_Code; CalcTreeTEST; |
13 open LItool; arguments_from_model; |
13 open LItool; arguments_from_model; |
14 open Sub_Problem; |
14 open Sub_Problem; |
|
15 open Fetch_Tacs; |
15 open Step |
16 open Step |
16 open Env; |
17 open Env; |
17 open LI; scan_dn; |
18 open LI; scan_dn; |
18 open Istate; |
19 open Istate; |
19 open Error_Pattern; |
20 open Error_Fill_Pattern; |
|
21 open Error_Fill_Def; |
|
22 open In_Chead; |
20 open Rtools; trtas2str; |
23 open Rtools; trtas2str; |
21 open Chead; pt_extract; |
24 open Chead; pt_extract; |
22 open Generate; (* NONE *) |
25 open Generate; (* NONE *) |
23 open Ctree; append_problem; |
26 open Ctree; append_problem; |
24 open Pos; |
27 open Pos; |
42 open Model; (* NONE *) |
45 open Model; (* NONE *) |
43 open Rewrite; mk_thm; |
46 open Rewrite; mk_thm; |
44 open Num_Calc; get_pair; |
47 open Num_Calc; get_pair; |
45 open TermC; atomt; |
48 open TermC; atomt; |
46 open Celem; e_pbt; |
49 open Celem; e_pbt; |
47 open Rule; string_of_thm; |
50 open Rule; |
|
51 open Rule_Set |
|
52 open Exec_Def |
|
53 open ThyC |
|
54 open ThmC |
|
55 open Rewrite_Ord |
48 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
56 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
49 \<close> |
57 \<close> |
50 ML_file "CalcElements/libraryC.sml" |
58 ML_file "CalcElements/libraryC.sml" |
51 |
59 |
52 section \<open>code for copy & paste ===============================================================\<close> |
60 section \<open>code for copy & paste ===============================================================\<close> |