Commit f30097a1 authored by Francois Bobot's avatar Francois Bobot

mise à jour de split_conjunction dans why3

parent ecd4b25e
......@@ -3,7 +3,7 @@ filename "%f-%t-%s.why"
(* À discuter *)
transformations
"split_conjunction"
"split_goal_pos_neg"
end
theory BuiltIn
......
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