--- a/src/HOL/Quotient_Examples/FSet.thy Fri Jan 07 23:46:06 2011 +0100
+++ b/src/HOL/Quotient_Examples/FSet.thy Sat Jan 08 00:02:11 2011 +0100
@@ -2,7 +2,7 @@
Author: Cezary Kaliszyk, TU Munich
Author: Christian Urban, TU Munich
- Type of finite sets.
+Type of finite sets.
*)
theory FSet