src/ZF/Inductive_ZF.thy

--- a/src/ZF/Inductive_ZF.thy	Sat Mar 29 19:13:58 2008 +0100
+++ b/src/ZF/Inductive_ZF.thy	Sat Mar 29 19:14:00 2008 +0100
@@ -41,7 +41,7 @@
 setup IndCases.setup
 setup DatatypeTactics.setup
 
-ML_setup {*
+ML {*
 structure Lfp =
   struct
   val oper      = @{const lfp}