equal
deleted
inserted
replaced
183 |
183 |
184 |
184 |
185 (*** type Ctree ***) |
185 (*** type Ctree ***) |
186 |
186 |
187 type specify_data = |
187 type specify_data = |
188 {fmz : Model_Def.form_T, (* from init:FIXME never use this spec;-drop *) |
188 {fmz : Model_Def.form_T, (* for uniformity also created/used for/by Subproblem *) |
189 origin: (Model_Def.o_model) *(* = O_Model.T for efficiently checking input to I_Model *) |
189 origin: (Model_Def.o_model) *(* = O_Model.T for efficiently checking input to I_Model *) |
190 References_Def.T * (* updated by Refine_Tacitly *) |
190 References_Def.T * (* updated by Refine_Tacitly *) |
191 term, (* headline of calc-head, as calculated initially(!) *) |
191 term, (* headline of calc-head, as calculated initially(!) *) |
192 spec : References_Def.T, (* explicitly input *) |
192 spec : References_Def.T, (* explicitly input *) |
193 probl : Model_Def.i_model,(* = I_Model.T for interactive input to a Problem *) |
193 probl : Model_Def.i_model,(* = I_Model.T for interactive input to a Problem *) |