From 45bd3127b1ac786dc1ae14284b952fb503ba3094 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 4 Feb 2004 22:28:02 +0000 Subject: [PATCH] Added newline. --- helm/gTopLevel/tests/lambda03.cic | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/gTopLevel/tests/lambda03.cic b/helm/gTopLevel/tests/lambda03.cic index 1ce07dfea..f67c4bd99 100644 --- a/helm/gTopLevel/tests/lambda03.cic +++ b/helm/gTopLevel/tests/lambda03.cic @@ -1,2 +1,2 @@ \lambda n:nat. - \lambda H:n=n.\lambda g:(?\to (le n 0))\to True.(g \lambda f.(f n H)) \ No newline at end of file + \lambda H:n=n.\lambda g:(?\to (le n 0))\to True.(g \lambda f.(f n H)) -- 2.39.2