--- 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.