X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fm;fp=ocaml%2Fproblems%2Fm;h=64b6ad3450cc7390cd86d56bd5451c9c3bb6a66f;hb=1398932771b9914e73cbef512195305ae60af8a5;hp=0000000000000000000000000000000000000000;hpb=4f38fd688913f856c80ce24254e0f41314dabbea;p=fireball-separation.git

diff --git a/ocaml/problems/m b/ocaml/problems/m
new file mode 100644
index 0000000..64b6ad3
--- /dev/null
+++ b/ocaml/problems/m
@@ -0,0 +1,13 @@
+$! m1
+N y z
+  x z
+  x (a k) u
+  x (a r)
+  x (a k) v
+
+$! m2
+N y z
+  x z
+  x (a k) u
+  x (a r)
+  x (a k) v