--- a/doc-src/IsarImplementation/Thy/ML.thy Thu Feb 26 08:44:44 2009 -0800
+++ b/doc-src/IsarImplementation/Thy/ML.thy Thu Feb 26 08:48:33 2009 -0800
@@ -1,6 +1,6 @@
-(* $Id$ *)
-
-theory "ML" imports base begin
+theory "ML"
+imports Base
+begin
chapter {* Advanced ML programming *}