From 33d4c7f37cb0ee1cec0214d30336334959f3d84e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 11 Sep 2003 13:32:58 +0000
Subject: Nettoyage

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4352 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tactics/Equality.v | 11 -----------
 tactics/Refine.v   | 11 -----------
 2 files changed, 22 deletions(-)
 delete mode 100644 tactics/Equality.v
 delete mode 100644 tactics/Refine.v

diff --git a/tactics/Equality.v b/tactics/Equality.v
deleted file mode 100644
index 9f6d782640..0000000000
--- a/tactics/Equality.v
+++ /dev/null
@@ -1,11 +0,0 @@
-(***********************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team    *)
-(* <O___,, *        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              *)
-(*   \VV/  *************************************************************)
-(*    //   *      This file is distributed under the terms of the      *)
-(*         *       GNU Lesser General Public License Version 2.1       *)
-(***********************************************************************)
-
-(* $Id$: *)
-
-(* Command declarations are moved to the ML side *)
diff --git a/tactics/Refine.v b/tactics/Refine.v
deleted file mode 100644
index 72ecf89fe1..0000000000
--- a/tactics/Refine.v
+++ /dev/null
@@ -1,11 +0,0 @@
-(***********************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team    *)
-(* <O___,, *        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              *)
-(*   \VV/  *************************************************************)
-(*    //   *      This file is distributed under the terms of the      *)
-(*         *       GNU Lesser General Public License Version 2.1       *)
-(***********************************************************************)
-
-(* $Id$ *)
-
-(* Command declarations are moved to the ML side *)
-- 
cgit v1.2.3