On Mon, 2 Jun 2014, Michael Kohlhase wrote:
Dear all,We will talk soon.
In one hour (minus epsilon) by my reckoning. James _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
- [Om3] Reminder: second OM3 F2F today 14:00 CET (in ac 60 ... Michael Kohlhase
- Re: [Om3] Reminder: second OM3 F2F today 14:00 CET (... Christoph LANGE
- Re: [Om3] Reminder: second OM3 F2F today 14:00 C... Christoph LANGE
- Re: [Om3] Reminder: second OM3 F2F today 14:... Olga Caprotti
- [Om3] A short comment on two of Michael's ideas. Re:... Chris Rowley
- Re: [Om3] Reminder: second OM3 F2F today 14:00 CET (... James Davenport
