Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added Haskell
authorhaftmann
Fri, 20 Oct 2006 17:07:41 +0200
changeset 21080 7d73aa966207
parent 21079 747d716e98d0
child 21081 837b535137a9
added Haskell
src/HOL/ex/Classpackage.thy file | annotate | diff | comparison | revisions
src/HOL/ex/CodeCollections.thy file | annotate | diff | comparison | revisions
src/HOL/ex/Codegenerator.thy file | annotate | diff | comparison | revisions 
--- 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
--- 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
--- 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
isabelle