src/Pure/ML-Systems/single_assignment_polyml.ML
2010-02-06 ago explicit representation of single-assignment variables;