Re: merge /solution / xtm-algebra

On Mon, Feb 24, 2003 at 10:55:37PM +0100, Lars Marius Garshol wrote:
> 
> * Robert Barta
> |
> | [about tau algebra]
> | 
> |     This will have to be aligned with SAM at some stage.
> 
> Oh, yes. Please! :-)

Uhm, well, this is painstakingly slow work. Half a page of axioms took
me a week. And I have this other job ... ;-)

\rho