Nominal/Ex/CoreHaskell.thy
changeset 2100 705dc7532ee3
parent 2095 ae94bae5bb93
child 2104 2205b572bc9b
--- 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