equal
deleted
inserted
replaced
74 |
74 |
75 Calc ("Orderings.ord_class.less",eval_equ "#less_"), |
75 Calc ("Orderings.ord_class.less",eval_equ "#less_"), |
76 Calc ("Orderings.ord_class.less_eq",eval_equ "#less_equal_"), |
76 Calc ("Orderings.ord_class.less_eq",eval_equ "#less_equal_"), |
77 |
77 |
78 Calc ("Atools.ident",eval_ident "#ident_")], |
78 Calc ("Atools.ident",eval_ident "#ident_")], |
79 scr = Script ((term_of o the o (parse thy)) |
79 scr = Prog ((term_of o the o (parse thy)) |
80 "empty_script") |
80 "empty_script") |
81 }:rls |
81 }:rls |
82 )]); |
82 )]); |
83 |
83 |
84 "----------- for correction of diff_const ---------------"; |
84 "----------- for correction of diff_const ---------------"; |