| changeset 60650 | 06ec8abfd3bc |
| parent 60649 | b2ff1902420f |
| child 60705 | b719a0b7c6b5 |
| 60649:b2ff1902420f | 60650:06ec8abfd3bc |
|---|---|
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 |
|
28 \<close> ML \<open> |
27 \<close> ML \<open> |
29 \<close> ML \<open> |
28 \<close> ML \<open> |
30 \<close> |
29 \<close> |
31 end |
30 end |