From f4586d1e8b1116340574d9660117f93e7a1e4e3b Mon Sep 17 00:00:00 2001
From: bgregoir <bgregoir@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 20 Jun 2007 09:43:36 +0000
Subject: ajout de head0 et tail0 en natif

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9900 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/retroknowledge.mli | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'kernel/retroknowledge.mli')

diff --git a/kernel/retroknowledge.mli b/kernel/retroknowledge.mli
index cba055560..999bf0ede 100644
--- a/kernel/retroknowledge.mli
+++ b/kernel/retroknowledge.mli
@@ -54,11 +54,13 @@ type int31_field =
   | Int31Div
   | Int31AddMulDiv
   | Int31Compare
+  | Int31Head0
+  | Int31Tail0
 
 type field =
-  | KEq
+(*  | KEq
   | KNat of nat_field
-  | KN of n_field
+  | KN of n_field *)
   | KInt31 of string*int31_field
 
 
-- 
cgit v1.2.3