1.1 --- a/test/Tools/isac/Knowledge/biegelinie-3.sml Tue Aug 27 15:32:38 2019 +0200
1.2 +++ b/test/Tools/isac/Knowledge/biegelinie-3.sml Tue Aug 27 18:03:33 2019 +0200
1.3 @@ -254,11 +254,11 @@
1.4 val itms =
1.5 if mI' = ["Biegelinien", "ausBelastung"]
1.6 then itms @
1.7 - [(4, [1], true, "#Given", Cor ((Const ("Biegelinie.Biegelinie", Type ("fun", [Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]), Type ("Tools.una", [])])),
1.8 + [(4, [1], true, "#Given", Cor ((Const ("Biegelinie.Biegelinie", Type ("fun", [Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]), Type ("Input_Descript.una", [])])),
1.9 [Free ("y", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]))]),
1.10 (Free ("id_fun", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])])),
1.11 [Free ("y", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]))] ))),
1.12 - (5, [1], true, "#Given", Cor ((Const ("Biegelinie.AbleitungBiegelinie", Type ("fun", [Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]), Type ("Tools.una", [])])),
1.13 + (5, [1], true, "#Given", Cor ((Const ("Biegelinie.AbleitungBiegelinie", Type ("fun", [Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]), Type ("Input_Descript.una", [])])),
1.14 [Free ("dy", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]))]),
1.15 (Free ("id_abl", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])])),
1.16 [Free ("dy", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]))] )))]
1.17 @@ -275,11 +275,11 @@
1.18 (@{term "id_abl::real \<Rightarrow> real"},
1.19 [@{term "dy::real \<Rightarrow> real"}] )))]
1.20 val itms'' = itms @
1.21 - [(4, [1], true, "#Given", Cor ((Const ("Biegelinie.Biegelinie", Type ("fun", [Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]), Type ("Tools.una", [])])),
1.22 + [(4, [1], true, "#Given", Cor ((Const ("Biegelinie.Biegelinie", Type ("fun", [Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]), Type ("Input_Descript.una", [])])),
1.23 [Free ("y", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]))]),
1.24 (Free ("id_fun", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])])),
1.25 [Free ("y", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]))] ))),
1.26 - (5, [1], true, "#Given", Cor ((Const ("Biegelinie.AbleitungBiegelinie", Type ("fun", [Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]), Type ("Tools.una", [])])),
1.27 + (5, [1], true, "#Given", Cor ((Const ("Biegelinie.AbleitungBiegelinie", Type ("fun", [Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]), Type ("Input_Descript.una", [])])),
1.28 [Free ("dy", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]))]),
1.29 (Free ("id_abl", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])])),
1.30 [Free ("dy", Type ("fun", [Type ("Real.real", []), Type ("Real.real", [])]))] )))]