# HG changeset patch
# User webertj
# Date 1152877890 -7200
# Node ID 4ddbf46ef9bddb7747abe7733f7af8e8387c73fb
# Parent  282165caaeaf95bf55715354bcbe5092ed6cf30c
trivial whitespace changes

diff -r 282165caaeaf -r 4ddbf46ef9bd src/HOL/Nominal/INSTALL
--- a/src/HOL/Nominal/INSTALL	Fri Jul 14 12:18:33 2006 +0200
+++ b/src/HOL/Nominal/INSTALL	Fri Jul 14 13:51:30 2006 +0200
@@ -2,8 +2,8 @@
 Installation Notes for the Nominal Datatype Package
 ===================================================
 
-Although the nominal datatype package is now officially 
-part of the development snapshot of Isabelle, we keep 
+Although the nominal datatype package is now officially
+part of the development snapshot of Isabelle, we keep
 a semi-official nominal snapshot under
 
   http://isabelle.in.tum.de/nominal/
@@ -11,9 +11,9 @@
 This snapshot contains the latest stable release of the
 nominal datatype package.
 
-To install it, follow the instructions of Isabelle's INSTALL 
-about how a snap-shot can be set up. The building process 
-needs to be started inside the [ISABELLE_HOME] directory with 
+To install it, follow the instructions of Isabelle's INSTALL
+about how a snap-shot can be set up. The building process
+needs to be started inside the [ISABELLE_HOME] directory with
 the command:
 
    ./build -m HOL-Nominal
@@ -22,7 +22,7 @@
 
    ./bin/isatool install -p /usr/local/bin
 
-The sources of the nominal datatype package can be found 
+The sources of the nominal datatype package can be found
 in the directory
 
     [ISABELLE_HOME]/src/HOL/Nominal
@@ -39,4 +39,4 @@
   Isabelle -L HOL-Nominal <<theory file to be opened>> &
 
 This automatically loads the correct keyword file needed
-for the nominal datatype package. 
+for the nominal datatype package.