added Haskell
authorhaftmann
Fri Oct 20 17:07:41 2006 +0200 (2006-10-20)
changeset 210807d73aa966207
parent 21079 747d716e98d0
child 21081 837b535137a9
added Haskell
src/HOL/ex/Classpackage.thy
src/HOL/ex/CodeCollections.thy
src/HOL/ex/Codegenerator.thy
     1.1 --- a/src/HOL/ex/Classpackage.thy	Fri Oct 20 17:07:27 2006 +0200
     1.2 +++ b/src/HOL/ex/Classpackage.thy	Fri Oct 20 17:07:41 2006 +0200
     1.3 @@ -324,5 +324,6 @@
     1.4  code_gen x1 x2 y2 (SML) (Haskell)
     1.5  
     1.6  code_gen (SML -)
     1.7 +code_gen (Haskell -)
     1.8  
     1.9  end
     2.1 --- a/src/HOL/ex/CodeCollections.thy	Fri Oct 20 17:07:27 2006 +0200
     2.2 +++ b/src/HOL/ex/CodeCollections.thy	Fri Oct 20 17:07:41 2006 +0200
     2.3 @@ -407,5 +407,6 @@
     2.4  code_gen test2
     2.5  
     2.6  code_gen (SML -)
     2.7 +code_gen (Haskell -)
     2.8  
     2.9  end
    2.10 \ No newline at end of file
     3.1 --- a/src/HOL/ex/Codegenerator.thy	Fri Oct 20 17:07:27 2006 +0200
     3.2 +++ b/src/HOL/ex/Codegenerator.thy	Fri Oct 20 17:07:41 2006 +0200
     3.3 @@ -196,5 +196,6 @@
     3.4    "Code_Generator.eq :: ('a\<Colon>eq) point_scheme \<Rightarrow> 'a point_scheme \<Rightarrow> bool"
     3.5  
     3.6  code_gen (SML -)
     3.7 +code_gen (Haskell -)
     3.8  
     3.9  end
    3.10 \ No newline at end of file