src/ZF/ZFC.thy
author wenzelm
Mon Dec 04 22:54:31 2017 +0100 (20 months ago)
changeset 67131 85d10959c2e4
parent 65449 c82e63b11b8b
permissions -rw-r--r--
tuned signature;
wenzelm@65449
     1
theory ZFC imports ZF InfDatatype
wenzelm@35762
     2
begin
paulson@12552
     3
paulson@12552
     4
end