Added comments and Id: marker.

--- a/src/Tools/change_simp	Wed Dec 21 12:53:45 1994 +0100
+++ b/src/Tools/change_simp	Wed Dec 21 13:10:39 1994 +0100
@@ -1,7 +1,10 @@
 #! /bin/sh
-#    simp FILE1 ... FILEn
+# $Id$
+#Assists in converting uses of the old simplifier (Isabelle-92 and earlier)
+#Usage:
+#    change_simp FILE1 ... FILEn
 #
-#  leaves previous versions as XXX~~
+#Renames old versions of the files as FILE1~~ ... FILEn~~
 #
 for f in $*
 do