From 2e57237d7518d8cd4ea2b608e5e7c96eb5698638 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 25 Nov 1999 01:13:21 +0000
Subject: Des progres dans l'integration

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@140 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/recordops.ml | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

(limited to 'pretyping/recordops.ml')

diff --git a/pretyping/recordops.ml b/pretyping/recordops.ml
index 07833ae20..3cb03ae53 100755
--- a/pretyping/recordops.ml
+++ b/pretyping/recordops.ml
@@ -1,17 +1,14 @@
+(* $Id$ *)
 
-open Std;;
-open Names;;
-open Machops;;
-open Vectops;;
-open Himsg;;
+open Util;;
 open Pp;;
+open Names;;
+open Typeops;;
 open Vartab;;
 open Libobject;;
-open Vectops;;
 open List;;
 open Library;;
 open Term;;
-open More_util;;
 open Pp_control;;
 open Generic;;
 open Initial;;
-- 
cgit v1.2.3