Moved all problems in problems folder. Last ones in "w"

[fireball-separation.git] / ocaml / problems / m

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