X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fsimple.3;fp=ocaml%2Fproblems%2Fsimple.3;h=3e20e8a441561199564b3fdcf72e98952c3cafd2;hb=249dab8c81b92df7cb8c5b48f0f62b817e2dcf61;hp=0000000000000000000000000000000000000000;hpb=55cdd31ff67621c1c56899f044f849ea72d9a29e;p=fireball-separation.git

diff --git a/ocaml/problems/simple.3 b/ocaml/problems/simple.3
new file mode 100644
index 0000000..3e20e8a
--- /dev/null
+++ b/ocaml/problems/simple.3
@@ -0,0 +1,3 @@
+$! simple: eating problem
+D x a b d
+C x a c