src/Pure/General/properties.scala
2011-07-12 ago more uniform Properties in ML and Scala;