]>
matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/problems/m
-N y z\r
- x z\r
- x (a k) u\r
- x (a r)\r
- x (a k) v\r
+N y z Z\r
+ x z Z\r
+ x (a k) u Z\r
+ x (a r) Z\r
+ x (a k) v Z\r
-N y z\r
- x z\r
- x (a k) u\r
- x (a r)\r
- x (a k) v\r
+N y z Z\r
+ x z Z\r
+ x (a k) u Z\r
+ x (a r) Z\r
+ x (a k) v Z\r