--- a/NEWS Tue Mar 25 13:18:10 2014 +0100
+++ b/NEWS Tue Mar 25 14:52:35 2014 +0100
@@ -41,7 +41,8 @@
* Command 'SML_file' reads and evaluates the given Standard ML file.
Toplevel bindings are stored within the theory context; the initial
environment is restricted to the Standard ML implementation of
-Poly/ML, without the add-ons of Isabelle/ML.
+Poly/ML, without the add-ons of Isabelle/ML. See also
+~~/src/Tools/SML/Examples.thy for some basic examples.
*** Prover IDE -- Isabelle/Scala/jEdit ***