1.1 --- a/src/Tools/isac/Specify/Input_Descript.thy	Sun Oct 29 07:14:14 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/Input_Descript.thy	Thu Nov 16 08:15:46 2023 +0100
     1.3 @@ -59,7 +59,8 @@
     1.4    relations      :: "bool list => una"
     1.5    SideConditions :: "bool list => una"
     1.6    solutions      :: "bool list => toreall"
     1.7 -(*solution       :: bool => toreal  WN0509 bool list=> toreall --->EqSystem*)
     1.8 +(*Gleichungen    :: "bool list => toreall" MUST be here to beknown by fun is_NObrack_list <--Biegelinie*)
     1.9 +(*solution       :: "bool => toreal"       WN0509 bool list => toreall <--EqSystem*)
    1.10    solveFor       :: "real => una"
    1.11    differentiateFor:: "real => una"
    1.12    unknown        :: "'a => unknow"