From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 14 Jun 2018 12:03:18 +0000 (+0200)
Subject: More evil problems
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=3bf899086f0aeb5fd193be8b1f2354568f0593ad;hp=4d85faf22614fae57d4b0c45a5699258a9274272;p=fireball-separation.git

More evil problems
---

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))))