equal
deleted
inserted
replaced
34 |
34 |
35 use "ME/mstools.sml" |
35 use "ME/mstools.sml" |
36 use "ME/ctree.sml" |
36 use "ME/ctree.sml" |
37 use "ME/ptyps.sml" |
37 use "ME/ptyps.sml" |
38 use "ME/generate.sml" |
38 use "ME/generate.sml" |
|
39 use "ME/calchead.sml" |
39 |
40 |
40 |
41 |
41 ML {* |
42 ML {* |
|
43 cterm_of; |
42 111; |
44 111; |
43 member op = [1,2,3] 2; |
45 member op = [1,2,3] 2; |
44 *} |
46 *} |
45 |
47 |
46 use "ME/calchead.sml" |
|
47 |
48 |
48 ML {* |
|
49 theory2theory'; |
|
50 (assoc_thy "Script"); |
|
51 (assoc_thy "Script.thy"); |
|
52 *} |
|
53 |
49 |
54 (* |
50 (* |
55 use "ME/appl.sml" |
51 use "ME/appl.sml" |
56 use "ME/rewtools.sml" |
52 use "ME/rewtools.sml" |
57 use "ME/script.sml" |
53 use "ME/script.sml" |