Response 3

From: Hal Ruhl <hjr.domain.name.hidden>
Date: Tue, 21 Nov 2000 19:01:51 -0800

Ouch.

I forgot to put in Response 2 that the FAS in order to grow larger so as to
be able to contain more complex theorems would also have to add new region
types - alphabet elements - as I have said before.

Hal
Received on Tue Nov 21 2000 - 16:12:55 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST