X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fsimple.constants.1;h=30790c5167b0020e8d0182dfb0b08af2e8f2ea23;hb=484254ec5f3e94aa86ffdc2bf7c07c46e42be8d7;hp=6cf666d61815ecb5ff85a6645b5d1f91e770a059;hpb=a30145e547949ed79aba9d54426515fcf556e0a6;p=fireball-separation.git

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