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

diff --git a/ocaml/problems/m b/ocaml/problems/m
index 64b6ad3..716e4d4 100644
--- a/ocaml/problems/m
+++ b/ocaml/problems/m
@@ -1,13 +1,13 @@
 $! m1
-N y z
-  x z
-  x (a k) u
-  x (a r)
-  x (a k) v
+N y z Z
+  x z Z
+  x (a k) u Z
+  x (a r) Z
+  x (a k) v Z
 
 $! m2
-N y z
-  x z
-  x (a k) u
-  x (a r)
-  x (a k) v
+N y z Z
+  x z Z
+  x (a k) u Z
+  x (a r) Z
+  x (a k) v Z