1.1 --- a/src/Tools/isac/Knowledge/Biegelinie.thy	Mon Mar 05 13:35:44 2012 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Biegelinie.thy	Tue Mar 06 14:25:08 2012 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  consts
     1.6  
     1.7 -  q_    :: "real => real" ("q'_")     (* Streckenlast               *)
     1.8 +  qq    :: "real => real"             (* Streckenlast               *)
     1.9    Q     :: "real => real"             (* Querkraft                  *)
    1.10    Q'    :: "real => real"             (* Ableitung der Querkraft    *)
    1.11    M'_b  :: "real => real" ("M'_b")    (* Biegemoment                *)
    1.12 @@ -58,8 +58,8 @@
    1.13  
    1.14  axioms(*axiomatization where*)
    1.15  
    1.16 -  Querkraft_Belastung:   "Q' x = -q_ x" (*and*)
    1.17 -  Belastung_Querkraft:   "-q_ x = Q' x" (*and*)
    1.18 +  Querkraft_Belastung:   "Q' x = -qq x" (*and*)
    1.19 +  Belastung_Querkraft:   "-qq x = Q' x" (*and*)
    1.20  
    1.21    Moment_Querkraft:      "M_b' x = Q x" (*and*)
    1.22    Querkraft_Moment:      "Q x = M_b' x" (*and*)