src/ZF/ZFC.thy
author wenzelm
Thu Dec 14 11:24:26 2017 +0100 (20 months ago)
changeset 67198 694f29a5433b
parent 65449 c82e63b11b8b
permissions -rw-r--r--
merged
     1 theory ZFC imports ZF InfDatatype
     2 begin
     3 
     4 end