# HG changeset patch
# User slotosch
# Date 860163395 -7200
# Node ID 905aa895136cca164e635ea918ab3a640480d027
# Parent  22a8a97b66be306b9462c0698fa4f4993bfbc87d
*** empty log message ***

diff -r 22a8a97b66be -r 905aa895136c src/HOL/Quot/FRACT.thy
--- a/src/HOL/Quot/FRACT.thy	Fri Apr 04 16:04:28 1997 +0200
+++ b/src/HOL/Quot/FRACT.thy	Fri Apr 04 16:16:35 1997 +0200
@@ -3,7 +3,7 @@
     Author:     Oscar Slotosch
     Copyright   1997 Technische Universitaet Muenchen
 
-Example for higher order quotients: fractionals
+Example for higher order quotients: fractions
 *)
 
 FRACT = NPAIR + HQUOT +
diff -r 22a8a97b66be -r 905aa895136c src/HOL/Quot/README
--- 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.