src/ZF/Main_ZFC.thy
author wenzelm
Sat Mar 13 16:44:12 2010 +0100 (2010-03-13 ago)
changeset 35762 af3ff2ba4c54
parent 26057 f5d5c4922cdf
permissions -rw-r--r--
removed old CVS Ids;
tuned headers;
     1 theory Main_ZFC imports Main_ZF InfDatatype
     2 begin
     3 
     4 end