trivial whitespace changes
authorwebertj
Fri Jul 14 13:51:30 2006 +0200 (2006-07-14)
changeset 201274ddbf46ef9bd
parent 20126 282165caaeaf
child 20128 8f0e07d7cf92
trivial whitespace changes
src/HOL/Nominal/INSTALL
     1.1 --- a/src/HOL/Nominal/INSTALL	Fri Jul 14 12:18:33 2006 +0200
     1.2 +++ b/src/HOL/Nominal/INSTALL	Fri Jul 14 13:51:30 2006 +0200
     1.3 @@ -2,8 +2,8 @@
     1.4  Installation Notes for the Nominal Datatype Package
     1.5  ===================================================
     1.6  
     1.7 -Although the nominal datatype package is now officially 
     1.8 -part of the development snapshot of Isabelle, we keep 
     1.9 +Although the nominal datatype package is now officially
    1.10 +part of the development snapshot of Isabelle, we keep
    1.11  a semi-official nominal snapshot under
    1.12  
    1.13    http://isabelle.in.tum.de/nominal/
    1.14 @@ -11,9 +11,9 @@
    1.15  This snapshot contains the latest stable release of the
    1.16  nominal datatype package.
    1.17  
    1.18 -To install it, follow the instructions of Isabelle's INSTALL 
    1.19 -about how a snap-shot can be set up. The building process 
    1.20 -needs to be started inside the [ISABELLE_HOME] directory with 
    1.21 +To install it, follow the instructions of Isabelle's INSTALL
    1.22 +about how a snap-shot can be set up. The building process
    1.23 +needs to be started inside the [ISABELLE_HOME] directory with
    1.24  the command:
    1.25  
    1.26     ./build -m HOL-Nominal
    1.27 @@ -22,7 +22,7 @@
    1.28  
    1.29     ./bin/isatool install -p /usr/local/bin
    1.30  
    1.31 -The sources of the nominal datatype package can be found 
    1.32 +The sources of the nominal datatype package can be found
    1.33  in the directory
    1.34  
    1.35      [ISABELLE_HOME]/src/HOL/Nominal
    1.36 @@ -39,4 +39,4 @@
    1.37    Isabelle -L HOL-Nominal <<theory file to be opened>> &
    1.38  
    1.39  This automatically loads the correct keyword file needed
    1.40 -for the nominal datatype package. 
    1.41 +for the nominal datatype package.