src/ZF/Main_ZFC.thy
author nipkow
Wed, 09 Jul 2014 11:48:21 +0200
changeset 57537 810bc6c41ebd
parent 35762 af3ff2ba4c54
permissions -rw-r--r--
added lemmas

theory Main_ZFC imports Main_ZF InfDatatype
begin

end