Commit a427a800 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

gappa

parent 8beef69f
......@@ -58,7 +58,9 @@ let get_info =
let l =
List.fold_right Sls.add
[real_add; real_sub; real_mul; real_div;
(*
ls_equ;
*)
!real_le;
real_abs] Sls.empty
in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment