diff -r a987b5acadc8 -r af02b193a19a Quot/Nominal/Abs.thy
--- a/Quot/Nominal/Abs.thy	Thu Jan 28 23:47:02 2010 +0100
+++ b/Quot/Nominal/Abs.thy	Fri Jan 29 00:22:00 2010 +0100
@@ -1,4 +1,4 @@
-theory LamEx
+theory Abs
 imports "Nominal2_Atoms" "Nominal2_Eqvt" "Nominal2_Supp" "../QuotMain" 
 begin
 
@@ -322,5 +322,5 @@
 apply(lifting alpha_abs.simps(1))
 done
 
-done
+end