From 8683d424a209bce154263e31f78c600d20753236 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 15 Mar 2004 12:36:40 +0000
Subject: [PATCH] This fails.

---
 helm/gTopLevel/tests/apply00.cic | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 helm/gTopLevel/tests/apply00.cic

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