Re: merge /solution / xtm-algebra

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

Yeah, you should quit. :-)

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >