X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ocaml%2Fproblems%2Fo;fp=ocaml%2Fproblems%2Fo;h=95c3c3dd009c94c410cfe07b779abb20b2bc8c12;hb=38ecafd7f8a1b5137f642bfa433d27cef8de2908;hp=0000000000000000000000000000000000000000;hpb=1398932771b9914e73cbef512195305ae60af8a5;p=fireball-separation.git

diff --git a/ocaml/problems/o b/ocaml/problems/o
new file mode 100644
index 0000000..95c3c3d
--- /dev/null
+++ b/ocaml/problems/o
@@ -0,0 +1,21 @@
+$! o1
+N x a b Z
+  x (_. BOT) c Z
+
+$! o2
+N x (y (_. BOT) a) c Z
+  x (y a PAC) d Z
+
+$! o3
+D y (x a1 BOMB c) (x BOMB b1 d)
+C y (x a2 BOMB c) (x BOMB b1 d)
+  y (x a1 BOMB c) (x BOMB b2 d)
+
+
+$! o4
+D x BOMB a1 c
+  x y BOMB d
+
+$! o6
+D x BOMB
+C x y