1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Thu Apr 09 12:03:14 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Thu Apr 09 17:13:17 2020 +0200
     1.3 @@ -133,6 +133,7 @@
     1.4    open ThyC
     1.5    open ThmC
     1.6    open Rewrite_Ord
     1.7 +  open UnparseC
     1.8  (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
     1.9  \<close>
    1.10