no message

2018-10-17 12:31:17 +02:00 · 2018-10-17 12:31:17 +02:00 · 58f2bff319
parent df4cf56958
commit 58f2bff319
1 changed files with 2 additions and 0 deletions
--- a/examples/conceptual/Attributes.thy
+++ b/examples/conceptual/Attributes.thy
@ -120,6 +120,8 @@ close_monitor*[figs1]
 text\<open>Resulting trace in figs1: \<close>
 ML\<open>@{trace_attribute figs1}\<close>

+
+text\<open>Final Status:\<close>
 print_doc_items
 print_doc_classes