| changeset 67147 | dea94b1aabc3 |
| parent 67105 | 05ff3e6dbbce |
| child 68803 | 169bf32b35dd |
--- a/src/Pure/ML_Bootstrap.thy Wed Dec 06 15:46:35 2017 +0100 +++ b/src/Pure/ML_Bootstrap.thy Wed Dec 06 18:59:33 2017 +0100 @@ -34,7 +34,7 @@ \<close> \<close> -ML \<open>@{assert} (not (can ML \<open>open RunCall\<close>))\<close> +ML \<open>\<^assert> (not (can ML \<open>open RunCall\<close>))\<close> subsection \<open>Switch to bootstrap environment\<close>