src/LCF/ex/ROOT.ML
changeset 15661 9ef583b08647
parent 15531 08c8dad8e399
child 24106 f2965bf954dc
--- a/src/LCF/ex/ROOT.ML	Thu Apr 07 09:24:35 2005 +0200
+++ b/src/LCF/ex/ROOT.ML	Thu Apr 07 09:25:33 2005 +0200
@@ -3,7 +3,7 @@
     Author:     Tobias Nipkow
     Copyright   1991  University of Cambridge
 
-SOME examples from Lawrence Paulson's book Logic and Computation.
+Some examples from Lawrence Paulson's book Logic and Computation.
 *)
 
 time_use_thy "Ex1";