src/Pure/Tools/value.ML
2008-09-16 haftmann 2008-09-16 generic value command