1.1 --- a/src/Tools/isac/Knowledge/EqSystem.thy	Mon Jun 29 15:43:35 2020 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/EqSystem.thy	Mon Jun 29 16:01:01 2020 +0200
     1.3 @@ -404,7 +404,9 @@
     1.4      (Context.theory_name @{theory}, prep_rls' norm_System_noadd_fractions)), 
     1.5    ("norm_System", (Context.theory_name @{theory}, prep_rls' norm_System))]\<close>
     1.6  
     1.7 -(** problems **)
     1.8 +
     1.9 +section \<open>Problems\<close>
    1.10 +
    1.11  setup \<open>KEStore_Elems.add_pbts
    1.12    [(Problem.prep_input thy "pbl_equsys" [] Problem.id_empty
    1.13        (["system"],
    1.14 @@ -508,7 +510,8 @@
    1.15  		scr = Rule.Empty_Prog};
    1.16  \<close>
    1.17  
    1.18 -(**methods**)
    1.19 +section \<open>Methods\<close>
    1.20 +
    1.21  setup \<open>KEStore_Elems.add_mets
    1.22      [Method.prep_input thy "met_eqsys" [] Method.id_empty
    1.23  	    (["EqSystem"], [],