src/ZF/ZFC.thy
author wenzelm
Sat Nov 04 19:17:19 2017 +0100 (21 months ago)
changeset 67006 b1278ed3cd46
parent 65449 c82e63b11b8b
permissions -rw-r--r--
prefer main entry points of HOL;
     1 theory ZFC imports ZF InfDatatype
     2 begin
     3 
     4 end