1.1 --- a/test/Tools/isac/Test_Some.thy	Thu Dec 17 11:42:18 2020 +0100
     1.2 +++ b/test/Tools/isac/Test_Some.thy	Thu Dec 17 11:45:12 2020 +0100
     1.3 @@ -104,15 +104,19 @@
     1.4  (*..Problem adds to spark..*)
     1.5  Problem (*procedure_g_c_d_4*)("Biegelinie", ["Biegelinien"])
     1.6    Specification:
     1.7 +(*1*)
     1.8      Model:
     1.9        Given: "Traegerlaenge ", "Streckenlast "
    1.10        Where: "q_0 ist_integrierbar_auf {| 0, L |}", "0 < L"
    1.11        Find: "Biegelinie "
    1.12        Relate: "Randbedingungen "
    1.13      References:
    1.14 +  (*2*)
    1.15        RTheory: ""
    1.16        RProblem: ["", ""]
    1.17        RMethod: ["", ""]
    1.18 +  (*2*)
    1.19 +(*1*)
    1.20    Solution:
    1.21  
    1.22  ML \<open>