src/Pure/ML-Systems/universal.ML
2009-01-19 ago removed Ids;
2008-09-16 ago tuned comments;
2007-12-20 ago Universal values via tagged union. Emulates structure Universal in Poly/ML 5.1.