src/ZF/Main_ZFC.thy
author wenzelm
Mon Feb 11 21:32:10 2008 +0100 (2008-02-11 ago)
changeset 26057 f5d5c4922cdf
parent 26056 6a0801279f4c
child 35762 af3ff2ba4c54
permissions -rw-r--r--
added Id;
wenzelm@26057
     1
(* $Id$ *)
wenzelm@26057
     2
krauss@26056
     3
theory Main_ZFC imports Main_ZF InfDatatype begin
paulson@12552
     4
paulson@12552
     5
end