src/ZF/Main_ZFC.thy
author wenzelm
Fri, 06 May 2011 17:52:08 +0200
changeset 42711 159c4d1d4c42
parent 35762 af3ff2ba4c54
permissions -rw-r--r--
removed \underscoreon which is from Larry's iman.sty, not underscore.sty;

theory Main_ZFC imports Main_ZF InfDatatype
begin

end