--- a/src/HOL/Quot/README	Fri Apr 04 16:04:28 1997 +0200
+++ b/src/HOL/Quot/README	Fri Apr 04 16:16:35 1997 +0200
@@ -7,7 +7,7 @@
 Quotients are a specialization of higher order quotients.
 The use the same constructor quot with the subclass er.
 
-An Example for the application of quotients are the fractional numbers.
+An Example for the application of quotients are the fractions.
 The example shows how to define an equivalence relation and how to use
 the quotients.