Theory All_Of_CAVA_Base

(*<*)
theory All_Of_CAVA_Base
imports CAVA_Base
begin
end
(*>*)