# HG changeset patch
# User haftmann
# Date 1290622500 -3600
# Node ID a961ec75fc29931bcc9d7b33adf88c0ab6d3fcde
# Parent  1aa56a048dce7eb31fee7837f94da84e84a19a04
corrected abd4e7358847 where SOMEthing went utterly wrong

diff -r 1aa56a048dce -r a961ec75fc29 src/HOL/Quotient_Examples/FSet.thy
--- a/src/HOL/Quotient_Examples/FSet.thy	Wed Nov 24 16:51:13 2010 +0100
+++ b/src/HOL/Quotient_Examples/FSet.thy	Wed Nov 24 19:15:00 2010 +0100
@@ -25,7 +25,7 @@
   unfolding reflp_def symp_def transp_def
   by auto
 
-text {* Cset type *}
+text {* The @{text fset} type *}
 
 quotient_type
   'a fset = "'a list" / "list_eq"