From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 6 Jun 2018 15:37:29 +0000 (+0200)
Subject: Problems that are not distinct commented out.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=484254ec5f3e94aa86ffdc2bf7c07c46e42be8d7;p=fireball-separation.git

Problems that are not distinct commented out.

Those problems can be separated, but picking a different
term to diverge
---

diff --git a/ocaml/problems/simple.constants.1 b/ocaml/problems/simple.constants.1
index 6cf666d..30790c5 100644
--- a/ocaml/problems/simple.constants.1
+++ b/ocaml/problems/simple.constants.1
@@ -3,13 +3,17 @@ 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 @)
+#is this the problem that requires to make
+# x (y C) diverge instead?
+#$! 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)
+#is this the problem that requires to make
+# x (y C) diverge instead?
+#$! 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)))