equal
deleted
inserted
replaced
154 (* strict parents *) |
154 (* strict parents *) |
155 |
155 |
156 val parents = Theory.parents_of thy; |
156 val parents = Theory.parents_of thy; |
157 val _ = |
157 val _ = |
158 Export.export thy \<^path_binding>\<open>theory/parents\<close> |
158 Export.export thy \<^path_binding>\<open>theory/parents\<close> |
159 (XML.Encode.string (cat_lines (map Context.theory_long_name parents))); |
159 (XML.Encode.string (terminate_lines (map Context.theory_long_name parents))); |
160 |
160 |
161 |
161 |
162 (* spec rules *) |
162 (* spec rules *) |
163 |
163 |
164 fun spec_rule_content {pos, name, rough_classification, terms, rules} = |
164 fun spec_rule_content {pos, name, rough_classification, terms, rules} = |