Theory Main_ZFC
Up
to index of Isabelle/ZF
theory
Main_ZFC
imports
InfDatatype
(* $Id$ *)
theory
Main_ZFC
imports
Main_ZF
InfDatatype
begin
end