William Tanksley
Wed, 13 Aug 1997 10:05:11 -0700 (PDT)

On Wed, 13 Aug 1997, Fare Rideau wrote:

> PS: have you seen the ACL2 theorem prover? Impressive -- has been used
> to prove correctness of part of all of actual CPU designs,
> as well as theorems in higher mathematics...

Facinating.  I'd just been studying the concept of Abstract State
Machines, which remind me of Tunes very much.  Do a quick search on Yahoo
-- it's the only entry that'll turn up.  It has a very nice intro to the
subject, and looks VERY appropriate (reminds me of Forth).

> == Faré -=-