From 33019e47a55caf3923d08acd66077f0a52947b47 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 2 Dec 1999 09:45:07 +0000
Subject: Pfedit (fin)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@188 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/declare.mli | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'library')

diff --git a/library/declare.mli b/library/declare.mli
index 1a9a0fac21..a8848660d7 100644
--- a/library/declare.mli
+++ b/library/declare.mli
@@ -21,23 +21,18 @@ type strength =
   | NeverDischarge
 
 type variable_declaration = constr * strength * bool
-
 val declare_variable : identifier -> variable_declaration -> unit
 
 
 type constant_declaration = constant_entry * strength * bool
-
 val declare_constant : identifier -> constant_declaration -> unit
 
 val declare_parameter : identifier -> constr -> unit
 
-
 val declare_mind : mutual_inductive_entry -> unit
 
-
 val declare_eliminations : section_path -> unit
 
-
 val declare_syntax_constant : identifier -> constr -> unit
 
 val make_strength : string list -> strength
-- 
cgit v1.2.3