--- a/doc-src/Abstract/abstract.html Mon Mar 07 19:17:07 2005 +0100
+++ b/doc-src/Abstract/abstract.html Mon Mar 07 19:25:13 2005 +0100
@@ -1,5 +1,7 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<!-- $Id$ -->
+
<html>
<head>
@@ -17,4 +19,4 @@
<p>Isabelle is a joint project between <a href="http://www.cl.cam.ac.uk/users/lcp/">Lawrence C. Paulson</a> (University of Cambridge, UK) and <a href="http://www.in.tum.de/%7enipkow/">Tobias Nipkow</a> (Technical University of Munich, Germany).</p>
</body>
-</html>
\ No newline at end of file
+</html>