src/ZF/Main_ZFC.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-12-19 paulson 2001-12-19 separation of the AC part of Main into Main_ZFC, plus a few new lemmas