diff -r 636322bfd057 -r 815ef5848324 src/HOL/README.html --- a/src/HOL/README.html Wed May 21 17:11:46 1997 +0200 +++ b/src/HOL/README.html Wed May 21 17:13:00 1997 +0200 @@ -1,26 +1,12 @@ -HOL/ReadMe +HOL/README -

HOL: Higher-Order Logic with curried functions

- -This directory contains the Standard ML sources of the Isabelle system for -Higher-Order Logic with curried functions. Important files include +

HOL: Higher-Order Logic

-
-
ROOT.ML -
loads all source files. Enter an ML image containing Pure -Isabelle and type: use "ROOT.ML";

+This directory contains the ML sources of the Isabelle system for +Higher-Order Logic.

-

Makefile -
compiles the files under Poly/ML or SML of New Jersey

-

- -

There are several subdirectories. To execute them, issue the command -

-        use_dir "<DIR>";
-
-where <DIR> is the desired directory - +There are several subdirectories with examples:
ex
general examples