From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 15 Mar 2004 12:36:40 +0000 (+0000)
Subject: This fails.
X-Git-Tag: v0_0_4~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8683d424a209bce154263e31f78c600d20753236;p=helm.git

This fails.
---

diff --git a/helm/gTopLevel/tests/apply00.cic b/helm/gTopLevel/tests/apply00.cic
new file mode 100644
index 000000000..f320002f7
--- /dev/null
+++ b/helm/gTopLevel/tests/apply00.cic
@@ -0,0 +1 @@
+\forall x,y,f. x=y \to (f x) = (f y)