Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id PAA06326; Tue, 17 Oct 1995 15:14:21 +0200
Received: by leopard.cs.byu.edu
	(1.37.109.15/16.2) id AA204290565; Tue, 17 Oct 1995 05:49:25 -0600
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Received: from odin.diku.dk by leopard.cs.byu.edu with ESMTP
	(1.37.109.15/16.2) id AA204260562; Tue, 17 Oct 1995 05:49:22 -0600
Received: from tyr.diku.dk (terra@tyr.diku.dk [130.225.96.226]) by odin.diku.dk (8.6.12/8.6.12) with ESMTP id MAA20264; Tue, 17 Oct 1995 12:49:14 +0100
Received: (terra@localhost) by tyr.diku.dk (8.6.12/8.6.12) id MAA26260; Tue, 17 Oct 1995 12:49:11 +0100
Date: Tue, 17 Oct 1995 12:49:11 +0100
Message-Id: <199510171149.MAA26260@tyr.diku.dk>
From: Morten Welinder <terra@diku.dk>
To: info-hol@leopard.cs.byu.edu
Cc: terra@diku.dk
Subject: Release: Conversion Generator


I used the week-end to hack up an improvement of my conversion
generator, see

	http://www.diku.dk/~terra/convgen/

It only works with hol90.7 out of the box, but if you're insisting
enough you should be able to get it to work with any Hol version.

This version support the top-level only rewriting that previous
versions handled as well as a "TOP_DEPTH_CONV" traversal.

Morten Welinder
terra@diku.dk


PS: Please "CC" any comments to me or I won't get them.