>
<
^
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]