From: acondolu <andrea.condoluci@unibo.it>
Date: Sat, 2 Jun 2018 15:59:07 +0000 (+0200)
Subject: Forgot to commit yesterday file with problems with constants
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a30145e547949ed79aba9d54426515fcf556e0a6;p=fireball-separation.git

Forgot to commit yesterday file with problems with constants
---

diff --git a/ocaml/problems/simple.constants.1 b/ocaml/problems/simple.constants.1
new file mode 100644
index 0000000..6cf666d
--- /dev/null
+++ b/ocaml/problems/simple.constants.1
@@ -0,0 +1,23 @@
+$! simple.constants.1/3
+D y (x C a) (x b C)
+C y (x C a) (x @ C)
+C y (x @ @) (x b C)
+
+$! simple.constants.1/1
+D y (x (y C))
+C y (x @)
+
+$! simple.constants.1/1'
+D y (z. x (y C))
+C y (z. x z)
+
+$! simple.constants.1/2
+D y (x (y C (x C)))
+C y (x (y C @))
+
+
+$! simple.constants.1/4
+D y (x C a) (x b C) (y C c)
+C y (x C a) (x @ C) (y C c)
+C y (x @ @) (x b C) (y C c)
+C y (x C a) (x b C) (y C @)