theory Aux
imports Complex_Main
  "$AFP/thys/Regular-Sets/Regexp_Method"
  "$AFP/thys/Coinductive/Coinductive_List"
  RBT_Impl
begin

text {* Sledgehammer setup *}
sledgehammer_params [provers = e spass remote_vampire remote_z3, timeout = 10]
declare gcd_proj1_if_dvd_int [no_atp]

text {* Quickcheck setup *}
declare [[quickcheck_narrowing_active = false, quickcheck_size = 5]]


end