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; Thu, 26 May 1994 17:20:59 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA25071;
          Thu, 26 May 1994 09:24:19 -0600
Sender: hol2000-request@lal.cs.byu.edu
Errors-To: hol2000-request@lal.cs.byu.edu
Precedence: bulk
Received: from cornell.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) 
          id AA25067; Thu, 26 May 1994 09:24:14 -0600
Received: from msiadmin.cit.cornell.edu ([128.253.216.2]) by cornell.edu 
          with SMTP id <581026-4>; Thu, 26 May 1994 11:24:12 -0400
Date: Thu, 26 May 1994 11:23:49 -0400
From: garrel@msiadmin.cit.cornell.edu (Garrel Pottinger-MSI Visitor)
Received: from msipawn.409col_ave by msiadmin.cit.cornell.edu (4.1/1.5) 
          id AA13561; Thu, 26 May 94 11:23:49 EDT
Message-Id: <9405261523.AA13561@msiadmin.cit.cornell.edu>
To: hol2000@leopard.cs.byu.edu, reetz@ira.uka.de
Subject: Re: rewrite as primitive?

What is a bdd-package?

Regards,

Garrel