[Om3] CD-review little report

Peter Horn hornp at mathematik.uni-kassel.de
Thu Sep 25 10:59:57 CEST 2008


> yes, the latest proposal I made in the note I circulated on sunday  
> night
> (which subsumes all my other proposals, including the early ones that
> still are in chapter 4) was to _add_ a content dictionary calculus3  
> with
> term+variable versions of the symbols and _keeping_ the calculus1 CD.

second! And third ;)

Best, Peter
>

--
Peter   Horn,   University  of  Kassel          *
Computational    Mathematics     Group      *       *
Heinrich Plett Str. 40,  34132  Kassel    *  [S] [C] [I] [E] [n] [c] [e]
Phone: + 4 9 - 5 6 1 - 8 0 4 - 4 1 9 2   *   http://www.symcomp.org
Fax:   + 4 9 - 5 6 1 - 8 0 4 - 4 6 4 6    *
E-Mail: hornp at mathematik.uni-kassel.de      *       *
             http://kassel.symcomp.org/          *






More information about the Om3 mailing list