X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fo;h=d85ca2ed71f1f99c14102722b43f2bc04fbf27a4;hb=704fd9d9db0c01619264527d4174afe74bdff53d;hp=67fa90bd9699abc076933e654a5e75f14c0e35eb;hpb=dfad242808c3525a0d9e3420565551964fcf0832;p=fireball-separation.git

diff --git a/ocaml/problems/o b/ocaml/problems/o
index 67fa90b..d85ca2e 100644
--- a/ocaml/problems/o
+++ b/ocaml/problems/o
@@ -1,10 +1,10 @@
 $! o1
-N x a b
-x (_. BOT) c
+N x a b Z
+  x (_. BOT) c Z
 
 $! o2
-N x (y (_. BOT) a) c
-x (y a PAC) d
+N x (y (_. BOT) a) c Z
+  x (y a PAC) d Z
 
 $! o3
 D y (x a1 BOMB c) (x BOMB b1 d)
@@ -14,7 +14,7 @@ C y (x a2 BOMB c) (x BOMB b1 d)
 
 $! o4
 D x BOMB a1 c
-x y BOMB d
+C x y BOMB d
 
 $! o6
 D x BOMB