+ =====================================================================	+
|									|
| ENTRY		: map							|
| 									|
| DESCRIPTION   : A hyperlinked guide to the hol90 theories.            |
|									|
| AUTHOR	: Konrad Slind						|
| AFFILIATION   : TU Munich 						|
|									|
+ =====================================================================	+

In this directory are HTML'ed versions of all HOL theories that come
bundled with the hol90 distribution. The entrypoint is MAP.html.

+ --------------------------------------------------------------------- +
|									|
| TO REBUILD THE MAP:						|
|									|
+ --------------------------------------------------------------------- +
                                      
Take a look at make_map.

+ --------------------------------------------------------------------- +
|									|
| TO USE THE LIBRARY:							|
|									|
+ --------------------------------------------------------------------- +

Point an HTML browser, such as Mosaic, at the file MAP.html. The map is
also linked to from the hol90 manual.
