Removed non-supported sty-file generation.

2019-07-21 09:43:36 +01:00 · 2019-07-21 09:43:36 +01:00 · ee574cdf99
parent 92f8fa5c25
commit ee574cdf99
2 changed files with 0 additions and 9 deletions
--- a/src/ontologies/scholarly_paper/scholarly_paper.thy
+++ b/src/ontologies/scholarly_paper/scholarly_paper.thy
@ -185,9 +185,5 @@ fun check_group a = map (check_group_elem (check_level_hd (hd a))) (tl a) ;
 *)
 \<close>

-
-gen_sty_template
-
-
 end

--- a/src/ontologies/small_math/small_math.thy
+++ b/src/ontologies/small_math/small_math.thy
@ -156,10 +156,5 @@ setup\<open> let val cidS = ["small_math.introduction","small_math.technical", "
                                       true)
       in  DOF_core.update_class_invariant "small_math.article" body end\<close>

-
-
-gen_sty_template
-
-
 end