Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Mon, 14 Dec 1992 02:36:05 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA06557;
          Sun, 13 Dec 92 18:16:39 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA06551;
          Sun, 13 Dec 92 18:16:31 -0800
Received: from LocalHost.cs.ucla.edu 
          by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA09054;
          Sun, 13 Dec 92 18:15:57 -0800
Message-Id: <9212140215.AA09054@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: Loading a part of a library
Date: Sun, 13 Dec 92 18:15:56 PST
From: chou@edu.ucla.cs

One of the new features of HOL 2.01 is the ability to load a part of
a library.  But has any system library been organized in such a way
that it can be loaded in parts?

- Ching Tsun