Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authorslotosch
Fri, 04 Apr 1997 16:16:35 +0200
changeset 2910 905aa895136c
parent 2909 22a8a97b66be
child 2911 8a680e310f04
*** empty log message ***
src/HOL/Quot/FRACT.thy file | annotate | diff | comparison | revisions
src/HOL/Quot/README file | annotate | diff | comparison | revisions 
--- 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 +
--- 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.
isabelle