Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Quot/QuotMain.thy
changeset 1077 44461d5615eb
parent 1068 62e54830590f
child 1113 9f6c606d5b59 
--- 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
nominal2