(* Title:        Given Clause Loops
   Author:       Jasmin Blanchette <j.c.blanchette at vu.nl>, 2022-2023
   Maintainer:   Jasmin Blanchette <j.c.blanchette at vu.nl>
*)

section \<open>Given Clause Loops\<close>

text \<open>This section imports all the theory files of the given clause procedure
formalization.\<close>

theory Given_Clause_Loops
  imports
    Fair_DISCOUNT_Loop
    Fair_Otter_Loop_Complete
    Fair_Zipperposition_Loop_without_Ghosts
begin
end
