From d045a9884858f7cf73b5914f68a93b6e405a1682 Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Tue, 10 Aug 2004 09:40:35 +0000
Subject: [PATCH] *** empty log message ***

---
 grammars/logic/Logic.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/grammars/logic/Logic.gf b/grammars/logic/Logic.gf
index 334592946..3e2516ebc 100644
--- a/grammars/logic/Logic.gf
+++ b/grammars/logic/Logic.gf
@@ -27,7 +27,7 @@ fun
 
   Univ  : (A : Dom) -> (Elem A -> Prop) -> Prop ;
   Exist : (A : Dom) -> (Elem A -> Prop) -> Prop ;
-
+ 
   -- progressive implication à la type theory
   ImplP : (A : Prop) -> (Proof A -> Prop) -> Prop ;