# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1273510642 -3600
# Node ID 705dc7532ee34b1e42a4fc0799c48b78d88ce314
# Parent  9454feb74b45d9976ce8405e97416231640fab2e
added comment about bind_set

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