X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fsimple.evil;h=60c3bbf42df1312c8327d03b3d21dad38e52cb46;hb=9d007f52d02d23ed95d28c7b805b65bbdc47de6a;hp=e4d4b64770b9d9d3190f714d3841b3c5762b0d22;hpb=3bf7726706488e3343d751e55e78159505757055;p=fireball-separation.git

diff --git a/ocaml/problems/simple.evil b/ocaml/problems/simple.evil
index e4d4b64..60c3bbf 100644
--- a/ocaml/problems/simple.evil
+++ b/ocaml/problems/simple.evil
@@ -1,3 +1,15 @@
 $!
 D x (y. x (z. y z))
 C x (y. x (z. y y))
+
+$!
+D x (y1. x (y2. x (y3. y1 y2 y3)))
+C x (y1. x (y2. x (y3. y1 y1 y3)))
+C x (y1. x (y2. x (y3. y1 y3 y3)))
+C x (y1. x (y2. x (y3. y1 y2 y1)))
+C x (y1. x (y2. x (y3. y1 y2 y2)))
+
+$!
+D x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y4))))
+C x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y1))))
+C x (y1. x (y2. x (y3. x (y4. y1 y2 y1 y4))))