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