# HG changeset patch
# User haftmann
# Date 1161356861 -7200
# Node ID 7d73aa9662079d255eb0fe7bfff6c80b0a008cc2
# Parent  747d716e98d0da27033ff22aaf60efb067b5c117
added Haskell

diff -r 747d716e98d0 -r 7d73aa966207 src/HOL/ex/Classpackage.thy
--- a/src/HOL/ex/Classpackage.thy	Fri Oct 20 17:07:27 2006 +0200
+++ b/src/HOL/ex/Classpackage.thy	Fri Oct 20 17:07:41 2006 +0200
@@ -324,5 +324,6 @@
 code_gen x1 x2 y2 (SML) (Haskell)
 
 code_gen (SML -)
+code_gen (Haskell -)
 
 end
diff -r 747d716e98d0 -r 7d73aa966207 src/HOL/ex/CodeCollections.thy
--- a/src/HOL/ex/CodeCollections.thy	Fri Oct 20 17:07:27 2006 +0200
+++ b/src/HOL/ex/CodeCollections.thy	Fri Oct 20 17:07:41 2006 +0200
@@ -407,5 +407,6 @@
 code_gen test2
 
 code_gen (SML -)
+code_gen (Haskell -)
 
 end
\ No newline at end of file
diff -r 747d716e98d0 -r 7d73aa966207 src/HOL/ex/Codegenerator.thy
--- a/src/HOL/ex/Codegenerator.thy	Fri Oct 20 17:07:27 2006 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Fri Oct 20 17:07:41 2006 +0200
@@ -196,5 +196,6 @@
   "Code_Generator.eq :: ('a\<Colon>eq) point_scheme \<Rightarrow> 'a point_scheme \<Rightarrow> bool"
 
 code_gen (SML -)
+code_gen (Haskell -)
 
 end
\ No newline at end of file