diff -r 3885dc2669f9 -r abafea9b39bb Nominal/Ex/Let.thy
--- a/Nominal/Ex/Let.thy	Thu Aug 26 02:08:00 2010 +0800
+++ b/Nominal/Ex/Let.thy	Fri Aug 27 02:03:52 2010 +0800
@@ -20,6 +20,7 @@
   "bn Lnil = []"
 | "bn (Lcons x t l) = (atom x) # (bn l)"
 
+text {* *}
 
 (*