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.;
wenzelm@35762
     1
theory Main_ZFC imports Main_ZF InfDatatype
wenzelm@35762
     2
begin
paulson@12552
     3
paulson@12552
     4
end