> From: Simon Claessen > what's a THE? You're in Holland and you don't know? :-) One of the great Dutch achievements in computer science: http://en.wikipedia.org/wiki/THE_multiprogramming_system Noel