diff -r 9a3d2a4f8956 -r 44461d5615eb Quot/QuotMain.thy
--- a/Quot/QuotMain.thy	Fri Feb 05 15:17:21 2010 +0100
+++ b/Quot/QuotMain.thy	Sat Feb 06 10:04:56 2010 +0100
@@ -181,7 +181,7 @@
   {* Proves automatically the cleaning goals from the lifting procedure. *}
 
 attribute_setup quot_lifted =
-  {* Scan.succeed Quotient_Tacs.lifted_attr *}
+  {* Scan.succeed Quotient_Tacs.lifted_attrib *}
   {* Lifting of theorems to quotient types. *}
 
 end