Theory Main_ZFC
Up
to index of Isabelle/ZF
theory
Main_ZFC
imports
Main
InfDatatype
uses
[
Main_ZFC.ML
]
begin
theory Main_ZFC imports Main InfDatatype begin end