
diff -r faf7b2ba1fef -r 9a20be5be90b doc-src/IsarRef/Thy/ML_Tactic.thy
--- a/doc-src/IsarRef/Thy/ML_Tactic.thy	Sat Feb 28 16:35:33 2009 +0100
+++ b/doc-src/IsarRef/Thy/ML_Tactic.thy	Sat Feb 28 16:39:46 2009 +0100
@@ -1,5 +1,3 @@
-(* $Id$ *)
-
 theory ML_Tactic
 imports Main
 begin




