src/Pure/ML-Systems/compiler_polyml.ML

--- a/src/Pure/ML-Systems/compiler_polyml.ML	Wed Jan 16 11:25:26 2013 +0100
+++ b/src/Pure/ML-Systems/compiler_polyml.ML	Wed Jan 16 11:31:08 2013 +0100
@@ -1,8 +1,6 @@
 (*  Title:      Pure/ML-Systems/compiler_polyml.ML
 
-Runtime compilation for Poly/ML 5.3.0 or later.
-
-See also Pure/ML/ml_compiler_polyml.ML for advanced version.
+Basic runtime compilation for Poly/ML (cf. Pure/ML/ml_compiler_polyml.ML).
 *)
 
 local