src/HOLCF/Domain.thy

--- a/src/HOLCF/Domain.thy	Tue May 31 11:53:11 2005 +0200
+++ b/src/HOLCF/Domain.thy	Tue May 31 11:53:12 2005 +0200
@@ -158,7 +158,7 @@
 
 subsection {* Setting up the package *}
 
-ML_setup {*
+ML {*
 val iso_intro       = thm "iso.intro";
 val iso_abs_iso     = thm "iso.abs_iso";
 val iso_rep_iso     = thm "iso.rep_iso";