From dda7c7bb0b6ea0c2106459d8ae208eff0dfd6738 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 1 Dec 1999 08:03:06 +0000
Subject:  - Typing -> Safe_typing  - proofs/Typing_ev -> pretyping/Typing  -
 env -> sign  - fonctions var_context

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@167 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/sign.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/sign.ml')

diff --git a/kernel/sign.ml b/kernel/sign.ml
index 5d7d5309b0..0b34c7edf3 100644
--- a/kernel/sign.ml
+++ b/kernel/sign.ml
@@ -10,7 +10,7 @@ open Term
 
 type 'a signature = identifier list * 'a list
 type 'a db_signature = (name * 'a) list
-type ('a,'b) env = ENVIRON of 'a signature * 'b db_signature
+type ('a,'b) sign = ENVIRON of 'a signature * 'b db_signature
 
 let gLOB hyps = ENVIRON (hyps,[])
 
@@ -233,7 +233,7 @@ let lookup_id id env =
     | Not_found -> let (x,y) = lookup_glob id env in GLOBNAME(x,y)
 
 
-type 'b assumptions = (typed_type,'b) env
-type context = (typed_type,typed_type) env
+type 'b assumptions = (typed_type,'b) sign
+type context = (typed_type,typed_type) sign
 type var_context = typed_type signature
 
-- 
cgit v1.2.3