diff -r 866f6d5baf4c -r a5e3ba7cbb2a doc-src/System/Thy/Misc.thy
--- a/doc-src/System/Thy/Misc.thy	Tue Aug 07 23:38:18 2012 +0200
+++ b/doc-src/System/Thy/Misc.thy	Tue Aug 07 23:43:05 2012 +0200
@@ -222,15 +222,6 @@
 *}
 
 
-subsubsection {* Examples *}
-
-text {*
-  Refer to the @{verbatim IsaMakefile}s of the Isabelle distribution's
-  object-logics as a model for your own developments.  For example,
-  see @{file "~~/src/FOL/IsaMakefile"}.
-*}
-
-
 section {* Make all logics *}
 
 text {* The @{tool_def makeall} tool applies Isabelle make to any