729 interSteps 1 ([4,2],Res)(*..is activeFormula !?!*); |
729 interSteps 1 ([4,2],Res)(*..is activeFormula !?!*); |
730 val ((pt,_),_) = get_calc 1; |
730 val ((pt,_),_) = get_calc 1; |
731 writeln(pr_ctree pr_short pt); |
731 writeln(pr_ctree pr_short pt); |
732 (*delete [4,1] in order to make pos [4],[4,4] for pblobjs differen [4],[4,3]: |
732 (*delete [4,1] in order to make pos [4],[4,4] for pblobjs differen [4],[4,3]: |
733 ###########################################################################*) |
733 ###########################################################################*) |
734 val (pt, ppp) = cut_level_'_ [] [] pt ([4,1],Frm); |
734 val (pt, ppp) = cut_level__ [] [] pt ([4,1],Frm); |
735 writeln(pr_ctree pr_short pt); |
735 writeln(pr_ctree pr_short pt); |
736 |
736 |
737 |
737 |
738 "-------------- ME_Misc.get_interval from ctree: incremental development--"; |
738 "-------------- ME_Misc.get_interval from ctree: incremental development--"; |
739 "-------------- ME_Misc.get_interval from ctree: incremental development--"; |
739 "-------------- ME_Misc.get_interval from ctree: incremental development--"; |