From 9547e150c40e43cb7ae7c39f008d33b15a182829 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 16 Mar 2006 19:24:17 +0000
Subject: deux tags $ mal formes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8640 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Num/Leibniz/Params.v | 2 +-
 theories/Num/Nat/Axioms.v     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/theories/Num/Leibniz/Params.v b/theories/Num/Leibniz/Params.v
index a7be171b8d..c8cb772de8 100644
--- a/theories/Num/Leibniz/Params.v
+++ b/theories/Num/Leibniz/Params.v
@@ -1,4 +1,4 @@
-(*i $Id $ i*)
+(*i $Id$ i*)
 
 (*s 
   Axiomatisation of a numerical set 
diff --git a/theories/Num/Nat/Axioms.v b/theories/Num/Nat/Axioms.v
index 3210cbd71f..8d7333ac09 100644
--- a/theories/Num/Nat/Axioms.v
+++ b/theories/Num/Nat/Axioms.v
@@ -1,4 +1,4 @@
-(*i $Id: i*)
+(*i $Id$ i*)
 
 (*s Axioms for the basic numerical operations *)
 Require Export Params.
-- 
cgit v1.2.3