src/Pure/General/value.scala
9 months ago wenzelm 2018-09-08 more accurate output;
9 months ago wenzelm 2018-09-08 tuned signature;
2016-09-05 wenzelm 2016-09-05 clarified modules;