diff -r 163d6917af62 -r 41fc4d3fc764 Quot/Nominal/LamEx.thy
--- a/Quot/Nominal/LamEx.thy	Tue Feb 02 13:10:46 2010 +0100
+++ b/Quot/Nominal/LamEx.thy	Tue Feb 02 14:55:07 2010 +0100
@@ -619,5 +619,5 @@
 
 
 
-end
+end<