From 14524e0b6ab7458d7b373fd269bb03b658dab243 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 24 Aug 1999 16:09:29 +0000
Subject: mach et himsg; typage sans extraction

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@21 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/changements.txt | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/changements.txt b/dev/changements.txt
index c0ccbabfe9..09c0a7b6f5 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -33,9 +33,20 @@ Changements dans les fonctions :
 	  app_tl_vect	   ->  array_app_tl
 	  cons_vect	   ->  array_cons
 	  map_i_vect	   ->  Array.mapi
+	  map2_vect	   ->  array_map2
 
 	Std 
 	  comp           ->  Util.compose
 	  rev_append	 ->  List.rev_append
 
-	
\ No newline at end of file
+	Termenv
+	  mis_arity      ->  instantiate_arity
+	  mis_lc	 ->  instantiate_lc	
+
+	Printer
+	  gentermpr	->   gen_pr_term
+
+	Typing, Machops
+	  type_of_type     ->  type_of_sort
+	  fcn_proposition  ->  type_of_type
+
-- 
cgit v1.2.3