base-zf.elf revision c6506aa7090643badb5a6dca5df0ca6617558f5e
%read "base.elf".
%read "../../../set_theories/zfc/bool.elf".
%read "bool-zf.elf".
%view BasePLMOD-ZF : BaseMOD -> Boolean = {
%include Bool-ZF.
}.