From mjcg%cam.sri.com@ai.sri.com@munnari.cs.mu.oz Thu Feb 16 14:12:27 1989
Date: Wed, 15 Feb 89 21:10 GMT
From: Mike Gordon <mjcg%cam.sri.com%ai.sri.com@munnari.oz>
To: info-hol@clover.ucdavis.edu
Subject: HOL88
Status: RO


      |========================================================|
      |                _  _    __    _      __    __           |
      |         |___   |__|   |  |   |     |__|  |__|          |
      |         |      |  |   |__|   |__   |__|  |__|          |
      |                                                        |
      |          Version 1.00, Interim Documentation           |
      |                                                        |
      |========================================================|

<text moved to separate file  -  hol88>
