--- a/src/Pure/pure_thy.scala Fri Apr 01 11:51:42 2022 +0200 +++ b/src/Pure/pure_thy.scala Fri Apr 01 17:06:10 2022 +0200 @@ -7,8 +7,7 @@ package isabelle -object Pure_Thy -{ +object Pure_Thy { /* Pure logic */ val DUMMY: String = "dummy"