theory Predicate_Compile imports Complex_Main uses "predicate_compile.ML" begin setup {* Predicate_Compile.setup *} end