changeset 58889 | 5b7a9633cfa8 |
parent 58616 | 4257a7f2bf39 |
child 61757 | 0d399131008f |
--- a/src/Tools/SML/Examples.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/Tools/SML/Examples.thy Sun Nov 02 18:21:45 2014 +0100 @@ -2,7 +2,7 @@ Author: Makarius *) -header \<open>Standard ML within the Isabelle environment\<close> +section \<open>Standard ML within the Isabelle environment\<close> theory Examples imports Pure