[Om3] need list2.ocd for MathML group

[Michael Kohlhase]

Dear all, dear James in particular,

I have been looking at lists as well, and MathML2 had a <selector>
element that could be used for lists. Therefore we also need one for the
OM3/MathML3 CDs. Now, there is "list_selector" in list2.ocd with status
"expermintal". So I have tentatively added that to the OM3/MathML3 set,
even though it also defines symbols   first, rest,  cons,  nil, append,
reverse, size, in.

I am not sure that we want to have those in the OM3/MathML3 symbols, and
would like to have your opinion on this. The alternative would be to
leave out list2 and just add list_selector to list1.

Furthermore, if we add the symbols from list2 to the OM3/MathML3 set,
then I would probably want to rename some of them, probably  nil -->
emptylist, size --> length, in -->????

Again, I do not have a good intuition what to do in this situation, what
do you all think?

Michael

-- 
----------------------------------------------------------------------
 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
----------------------------------------------------------------------