src/Pure/README
changeset 16117 7c7da01ff77e
parent 16116 bb7ba5c5e632
child 28504 7ad7d7d6df47
     1.1 --- a/src/Pure/README	Tue May 31 10:40:22 2005 +0200
     1.2 +++ b/src/Pure/README	Tue May 31 10:58:51 2005 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  
     1.5    isabelle -u RAW
     1.6  
     1.7 -See ROOT.ML for further informatio.
     1.8 +See ROOT.ML for further information.
     1.9  
    1.10  
    1.11  $Id$