equal
deleted
inserted
replaced
40 "ident" :: ['a, 'a] => bool ("(_ =!=/ _)" [51, 51] 50) |
40 "ident" :: ['a, 'a] => bool ("(_ =!=/ _)" [51, 51] 50) |
41 |
41 |
42 "argument'_in" :: real => real ("argument'_in _" 10) |
42 "argument'_in" :: real => real ("argument'_in _" 10) |
43 "sameFunId" :: [real, bool] => bool (**"same'_funid _ _" 10 |
43 "sameFunId" :: [real, bool] => bool (**"same'_funid _ _" 10 |
44 WN0609 changed the id, because ".. _ _" inhibits currying**) |
44 WN0609 changed the id, because ".. _ _" inhibits currying**) |
45 "filter'_sameFunId":: [real, bool list] => real list |
45 "filter'_sameFunId":: [real, bool list] => bool list |
46 ("filter'_sameFunId _ _" 10) |
46 ("filter'_sameFunId _ _" 10) |
47 "boollist2sum" :: bool list => real |
47 "boollist2sum" :: bool list => real |
48 |
48 |
49 (*-------------------- rules -------------------------------------*) |
49 (*-------------------- rules -------------------------------------*) |
50 rules (*for evaluating the assumptions of conditional rules*) |
50 rules (*for evaluating the assumptions of conditional rules*) |