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; Mon, 9 May 1994 18:51:19 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA26433;
          Mon, 9 May 1994 11:37:48 -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 AA26428;
          Mon, 9 May 1994 11:37:45 -0600
Received: from ra.abo.fi by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) 
          id AA05886; Mon, 9 May 1994 10:38:38 -0700
Received: from ulrik.abo.fi.ABO.RA (ulrik.abo.fi [130.232.208.8]) 
          by ra.abo.fi (8.6.6.Beta9/8.6.6.Beta9) with SMTP id UAA15411 
          for <info-hol@cs.uidaho.edu>; Mon, 9 May 1994 20:38:36 +0300
Date: Mon, 9 May 1994 20:38:36 +0300
From: Jockum von Wright IB <jwright@ra.abo.fi>
Message-Id: <199405091738.UAA15411@ra.abo.fi>
Received: by ulrik.abo.fi.ABO.RA (4.1/SMI-4.1) id AA26370;
          Mon, 9 May 94 20:37:55 +0300
To: info-hol@cs.uidaho.edu
Subject: Size increase from HOL2.01 to HOL2.02. WHY?

Hi everyone,

Our HOL2.01 has size  8219572  while HOL2.02 has size  17353652. Both
have been built on the same machine and with the same version of akcl.
And I have heard rumours that other people have had the same experience.
Can someone explain this. Or better still, can someone suggest a way of
making the HOL2.02 executable smaller?

Joakim von Wright