Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl
          id <21505-0@swan.cl.cam.ac.uk>; Fri, 25 Oct 1991 18:38:21 +0100
Received: by ted.cs.uidaho.edu (15.11/1.34) id AA03764;
          Fri, 25 Oct 91 10:26:50 pdt
Reply-To: info-hol@ted
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@ted.cs.uidaho.edu
Received: from uu.psi.com by ted.cs.uidaho.edu (15.11/1.34) id AA03760;
          Fri, 25 Oct 91 10:26:41 pdt
Received: from port7.boston.pub-ip.psi.net
          by uu.psi.com (5.65b/4.0.071791-PSI/PSINet) id AA07136;
          Fri, 25 Oct 91 13:22:57 -0400
Received: from (manjusri) by ely (4.1/SMI-4.1) id AA22951;
          Fri, 25 Oct 91 13:28:31 EDT
Received: from longvalley by (4.1/SMI-4.1) id AA22852;
          Fri, 25 Oct 91 13:28:42 EDT
Date: Fri, 25 Oct 91 13:28:42 EDT
From: weitzman@com.oracorp.cambridge (Adam Weitzman)
Message-Id: <9110251728.AA22852@>
Received: by longvalley (4.1/SMI-4.1) id AA18518; Fri, 25 Oct 91 13:27:30 EDT
To: info-hol@edu.uidaho.cs.ted
Subject: The "save" function

I am looking at some documentation for HOL that I have and it indicates
that there is a function save : string -> void, which creates an executable
Lisp core image in the name of the string. My attempts to use this function
in versions 1.12 and 2.0 of HOL88 using AKCL have so far proven fruitless.
Is my documentation too old and this function been removed? Is there
another problem I am not aware of?

Please respond to me via email. Thank you very much for your time.

------------------------------
Adam J Weitzman
weitzman@cambridge.oracorp.com
------------------------------