--- a/Nominal/Ex/CoreHaskell.thy Mon May 10 17:55:54 2010 +0100
+++ b/Nominal/Ex/CoreHaskell.thy Mon May 10 17:57:22 2010 +0100
@@ -4,6 +4,9 @@
(* core haskell *)
+(* at the moment it is hard coded that shallow binders
+ need to use bind_set *)
+
atom_decl var
atom_decl cvar
atom_decl tvar