--- 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 {* *}
 
 (*
changeset 2438	abafea9b39bb
parent 2436	3885dc2669f9
child 2449	6b51117b8955