Dear all, thank you all for your helpful comments. I have now taken some notes on functional programming and XML pattern matching, according to my requirements. But these notes may also be useful for you: https://trac.kwarc.info/krextor/wiki/DevelopmentNotes Cheers, Christoph -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
This is a digitally signed message part.