> < ^ Date: Tue, 24 Aug 1993 13:39:43 +0200
> < ^ From: Steve Linton <sal@dcs.st-and.ac.uk >
> < ^ Subject: Re: Calculating Invariants

I believe Leonard Soicher had a program to do domething of this kind.
Steve


> < [top]