
diff -r 8648b5dd6a87 -r 9b7d35ca1eef src/HOL/ex/Codegenerator.thy
--- a/src/HOL/ex/Codegenerator.thy	Tue Oct 31 09:29:18 2006 +0100
+++ b/src/HOL/ex/Codegenerator.thy	Tue Oct 31 14:58:12 2006 +0100
@@ -5,7 +5,7 @@
 header {* Test and Examples for code generator *}
 
 theory Codegenerator
-imports Main Records
+imports Main (*"~/projects/codegen/thy/CodegenSetup"*) Records
 begin
 
 subsection {* booleans *}
@@ -197,7 +197,7 @@
   "Code_Generator.eq :: mut2 \<Rightarrow> mut2 \<Rightarrow> bool"
   "Code_Generator.eq :: ('a\<Colon>eq) point_scheme \<Rightarrow> 'a point_scheme \<Rightarrow> bool"
 
-code_gen (SML -)
+code_gen (SML *)
 code_gen (Haskell -)
 
 end
\ No newline at end of file




