1.1 --- a/src/Tools/isac/BaseDefinitions/Know_Store.thy	Sun Apr 18 22:27:43 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/Know_Store.thy	Sun Apr 18 23:37:59 2021 +0200
     1.3 @@ -16,8 +16,13 @@
     1.4  *)
     1.5  
     1.6  theory Know_Store imports Complex_Main
     1.7 +begin
     1.8  
     1.9 -begin
    1.10 +setup \<open>
    1.11 +  ML_Antiquotation.conditional \<^binding>\<open>isac_test\<close>
    1.12 +    (fn _ => Options.default_bool \<^system_option>\<open>isac_test\<close>)
    1.13 +\<close>
    1.14 +
    1.15  ML_file libraryC.sml
    1.16  ML_file theoryC.sml
    1.17  ML_file unparseC.sml