equal
deleted
inserted
replaced
120 val for_specify: input -> bool |
120 val for_specify: input -> bool |
121 val for_specify': T -> bool |
121 val for_specify': T -> bool |
122 |
122 |
123 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *) |
123 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *) |
124 (* NONE *) |
124 (* NONE *) |
125 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* ) |
125 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*) |
126 (* NONE *) |
126 (* NONE *) |
127 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
127 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
128 |
128 |
129 (*----- unused code, kept as hints to design ideas ---------------------------------------------*) |
129 (*----- unused code, kept as hints to design ideas ---------------------------------------------*) |
130 (* NONE *) |
130 (* NONE *) |
131 end |
131 end |
132 |
132 |