-
David Bühler authored
No need to declare known constants in [known_logic_funs], as they are direclty handled in [eval_terms] and not by [eval_known_logic_function].
David Bühler authoredNo need to declare known constants in [known_logic_funs], as they are direclty handled in [eval_terms] and not by [eval_known_logic_function].
eval_terms.ml 94.51 KiB