Theory Given_Clause_Loops

(* 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 ‹Given Clause Loops›

text ‹This section imports all the theory files of the given clause procedure
formalization.›

theory Given_Clause_Loops
  imports
    Fair_DISCOUNT_Loop
    Fair_Otter_Loop_Complete
    Fair_Zipperposition_Loop_without_Ghosts
begin
end