[Om3] CD-review little report

[Michael Kohlhase]

Just to close this thread let me state that indeed we want to keep this
usage.

Michael

Stan Devitt wrote:
> Paul,
>
> Yes, indeed, I do mean  <apply><int><ci>f</ci></apply> , and if that is
> not in question then my humble apologies.  I am not sure how I got that
> impression and apologize for any misunderstanding or confusion my
> response caused.
>
> Keep up the good work.
>
> Stan
>
>
>   

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------