--- a/doc-src/Ref/substitution.tex Sun Mar 01 12:37:59 2009 +0100
+++ b/doc-src/Ref/substitution.tex Sun Mar 01 13:48:17 2009 +0100
@@ -1,4 +1,4 @@
-%% $Id$
+
\chapter{Substitution Tactics} \label{substitution}
\index{tactics!substitution|(}\index{equality|(}