From 9306f04c0bb2f203ed88e54a22fabb6eccf93f0c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 10 Sep 2000 21:41:16 +0000
Subject: nettoyage

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@595 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/environ.mli | 5 -----
 kernel/sosub.mli   | 4 +---
 2 files changed, 1 insertion(+), 8 deletions(-)

(limited to 'kernel')

diff --git a/kernel/environ.mli b/kernel/environ.mli
index 4b483c7dd9..840d10ab76 100644
--- a/kernel/environ.mli
+++ b/kernel/environ.mli
@@ -144,11 +144,6 @@ val it_mkNamedProd_or_LetIn : constr -> var_context -> constr
 val lambda_create : env -> constr * constr -> constr
 val prod_create : env -> constr * constr -> constr
 
-(*
-val translucent_abst : env -> constr -> bool
-val evaluable_abst : env -> constr -> bool
-val abst_value : env -> constr -> constr
-*)
 val defined_constant : env -> constr -> bool
 val evaluable_constant : env -> constr -> bool
 
diff --git a/kernel/sosub.mli b/kernel/sosub.mli
index 123362527a..1bc45d6ceb 100644
--- a/kernel/sosub.mli
+++ b/kernel/sosub.mli
@@ -8,7 +8,5 @@ open Term
 (* Second-order substitutions. *)
 
 val soexecute : constr -> constr
-(*
-val try_soexecute : constr -> constr
-*)
+
 
-- 
cgit v1.2.3