diff -r 907616b9536c -r 4753c317d5c1 Admin/isatest/annomaly.ML
--- a/Admin/isatest/annomaly.ML	Fri Jun 12 20:20:41 2009 +0200
+++ b/Admin/isatest/annomaly.ML	Fri Jun 12 20:26:34 2009 +0200
@@ -1,5 +1,4 @@
 (*  Title:      Admin/isatest/annomaly.ML
-    ID:         $Id$
     Author:     Martin von Gagern <martin@von-gagern.net>
 *)