src/ZF/Main_ZFC.thy
author wenzelm
Tue Sep 01 22:32:58 2015 +0200 (2015-09-01)
changeset 61076 bdc1e2f0a86a
parent 35762 af3ff2ba4c54
permissions -rw-r--r--
eliminated \<Colon>;
     1 theory Main_ZFC imports Main_ZF InfDatatype
     2 begin
     3 
     4 end