src/ZF/Main_ZFC.thy
author nipkow
Sun, 05 Jan 2003 21:03:14 +0100
changeset 13771 6cd59cc885a1
parent 12552 d2d2ab3f1f37
child 16417 9bc16273c2d4
permissions -rw-r--r--
*** empty log message ***

theory Main_ZFC = Main + InfDatatype:

end