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