src/Pure/ML-Systems/universal.ML
2007-12-20 wenzelm 2007-12-20 Universal values via tagged union. Emulates structure Universal in Poly/ML 5.1.