Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Knowledge/Biegelinie.thy
changeset 55276 ce872d7781d2
parent 52148 aabc6c8e930a
child 55339 cccd24e959ba 
     1.1 --- a/src/Tools/isac/Knowledge/Biegelinie.thy	Thu Nov 21 11:17:42 2013 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Biegelinie.thy	Thu Nov 21 11:46:00 2013 +0100
     1.3 @@ -272,7 +272,7 @@
     1.4  "       M__2        = (Substitute [e__2]) M__2;                          " ^
     1.5                                          (**)
     1.6  "      (c_1_2::bool list) =                                              " ^
     1.7 -"             (SubProblem (Biegelinie',[linear,system],[no_met])         " ^
     1.8 +"             (SubProblem (Biegelinie',[LINEAR,system],[no_met])         " ^
     1.9  "                          [BOOL_LIST [M__1, M__2], REAL_LIST [c,c_2]]); " ^
    1.10  "       M__M = Take  M__M;                                               " ^
    1.11  "       M__M = ((Substitute c_1_2) @@                                    " ^
    1.12 @@ -299,7 +299,7 @@
    1.13  "      (B__2::bool) = (Substitute [v_v = x__2]) B__B;                    " ^
    1.14  "       B__2        = (Substitute [e__2]) B__2 ;                         " ^
    1.15  "      (c_1_2::bool list) =                                              " ^
    1.16 -"             (SubProblem (Biegelinie',[linear,system],[no_met])         " ^
    1.17 +"             (SubProblem (Biegelinie',[LINEAR,system],[no_met])         " ^
    1.18  "                          [BOOL_LIST [B__1, B__2], REAL_LIST [c,c_2]]); " ^
    1.19  "       B__B = Take  B__B;                                               " ^
    1.20  "       B__B = ((Substitute c_1_2) @@                                    " ^
    1.21 @@ -340,7 +340,7 @@
    1.22  "                          [Biegelinien,setzeRandbedingungenEin])          " ^
    1.23  "                          [BOOL_LIST fun_s, BOOL_LIST r_b]);              " ^
    1.24  "      (con_s::bool list) =                                                " ^
    1.25 -"             (SubProblem (Biegelinie',[linear,system],[no_met])           " ^
    1.26 +"             (SubProblem (Biegelinie',[LINEAR,system],[no_met])           " ^
    1.27  "                          [BOOL_LIST equ_s, REAL_LIST [c,c_2,c_3,c_4]]);  " ^
    1.28  "       B_B = Take (lastI fun_s);                                          " ^
    1.29  "       B_B = ((Substitute con_s) @@                                       " ^
wneuper/isa