doc-src/IsarImplementation/Thy/ML.thy

--- a/doc-src/IsarImplementation/Thy/ML.thy	Thu Mar 27 15:32:19 2008 +0100
+++ b/doc-src/IsarImplementation/Thy/ML.thy	Thu Mar 27 16:24:10 2008 +0100
@@ -2,7 +2,7 @@
 
 theory "ML" imports base begin
 
-chapter {* Aesthetics of ML programming *}
+chapter {* Advanced ML programming *}
 
 section {* Style *}
 
@@ -626,10 +626,4 @@
 *}
 
 
-chapter {* Cookbook *}
-
-section {* A method that depends on declarations in the context *}
-
-text FIXME
-
 end