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 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
