src/ZF/Main_ZFC.thy
author wenzelm
Sun Nov 09 17:04:14 2014 +0100 (2014-11-09)
changeset 58957 c9e744ea8a38
parent 35762 af3ff2ba4c54
permissions -rw-r--r--
proper context for match_tac etc.;
     1 theory Main_ZFC imports Main_ZF InfDatatype
     2 begin
     3 
     4 end