
diff -r 9454feb74b45 -r 705dc7532ee3 Nominal/Ex/CoreHaskell.thy
--- 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




