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;
     1 theory ZFC imports ZF InfDatatype
     2 begin
     3 
     4 end