| changeset 60649 | b2ff1902420f |
| parent 60609 | 5967b6e610b5 |
| child 60650 | 06ec8abfd3bc |
| 60648:976b99bcfc96 | 60649:b2ff1902420f |
|---|---|
22 ML_file "sub-problem.sml" |
22 ML_file "sub-problem.sml" |
23 ML_file "step-specify.sml" |
23 ML_file "step-specify.sml" |
24 |
24 |
25 ML \<open> |
25 ML \<open> |
26 \<close> ML \<open> |
26 \<close> ML \<open> |
27 ThyC.get_theory_PIDE |
|
27 \<close> ML \<open> |
28 \<close> ML \<open> |
28 \<close> ML \<open> |
29 \<close> ML \<open> |
29 \<close> |
30 \<close> |
30 end |
31 end |