--- a/src/Tools/value.ML Thu Jul 08 16:19:23 2010 +0200
+++ b/src/Tools/value.ML Thu Jul 08 16:19:24 2010 +0200
@@ -1,4 +1,4 @@
-(* Title: Pure/Tools/value.ML
+(* Title: Tools/value.ML
Author: Florian Haftmann, TU Muenchen
Generic value command for arbitrary evaluators.