(* -*- isabelle-chosen-logic: "ZF" -*- *)

theory ChosenLogic imports Main_ZFC
begin

end


