Theory All_Of_LTL_to_GBA

(*<*)
theory All_Of_LTL_to_GBA
imports LTL_to_GBA LTL_to_GBA_impl
begin
end
(*>*)