From c86d78c0f18fb28f74bb6b192c03ebe73117cf03 Mon Sep 17 00:00:00 2001
From: bgregoir
Date: Mon, 11 Dec 2006 18:46:35 +0000
Subject: Changement dans le kernel :    - essai de suppression des dependances
 debiles. (echec)    - Application des patch debian.

Pour ring et field :
   - introduciton de la function de sign et de puissance.
   - Correction de certains bug.
   - supression de ring_replace ....

Pour exact_no_check :
   - ajout de la tactic : vm_cast_no_check (t)
     qui remplace "exact_no_check (t<: type of Goal)"
      (cette version forcais l'evaluation du cast dans le 
       pretypage).




git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9427 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/typeops.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/typeops.mli')

diff --git a/kernel/typeops.mli b/kernel/typeops.mli
index 9066e46d94..fe428230a7 100644
--- a/kernel/typeops.mli
+++ b/kernel/typeops.mli
@@ -106,3 +106,4 @@ val type_of_constant_knowing_parameters :
 
 (* Make a type polymorphic if an arity *)
 val make_polymorphic_if_arity : env -> types -> constant_type
+
-- 
cgit v1.2.3