little change to theorem eq_gcd_times_times_eqv_times_gcd

[helm.git] / helm / www / matita / xhtml-meta.shtml

diff --git a/helm/www/matita/xhtml-meta.shtml b/helm/www/matita/xhtml-meta.shtml
index ebed9ee6fb587f35239a1391f617f316046c0803..5117dd290f215655dd87897e19e49b3e44aa5bcd 100644 (file)
--- a/helm/www/matita/xhtml-meta.shtml
+++ b/helm/www/matita/xhtml-meta.shtml
@@ -1 +1,2 @@
+<!-- $Id$ -->
     <link type="text/css" rel="stylesheet" href="style.css"/>