Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 1 Jun 1994 11:14:20 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA15142;
          Wed, 1 Jun 1994 03:54:25 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA15138;
          Wed, 1 Jun 1994 03:52:03 -0600
Received: from infix.cs.ruu.nl by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA15830;
          Wed, 1 Jun 1994 02:51:24 -0700
Received: by relay.cs.ruu.nl id AA25026 (5.67a/IDA-1.5 
          for info-hol@ted.cs.uidaho.edu); Wed, 1 Jun 1994 11:51:16 +0200
From: Wishnu Prasetya <wishnu@cs.ruu.nl>
Message-Id: <199406010951.AA25026@relay.cs.ruu.nl>
Subject: library_loader
To: info-hol@cs.uidaho.edu (hol mailing list)
Date: Wed, 1 Jun 1994 11:51:16 +0200 (METDST)
X-Mailer: ELM [version 2.4 PL23]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 216

Hi,

Can some one perhaps tell me what library_loader of HOL2.02 does?
This is a new function, I believe, but I cannot find its description
on the list of updates of HOL2.02.

Kindly thank you for any help.

Wishnu.