isabelle: src/ZF/Main.thy@e09c53289830 (annotated)

26057 f5d5c4922cdf added Id; wenzelm parents: 26056 diff changeset	1	(* $Id$ *)
f5d5c4922cdf added Id; wenzelm parents: 26056 diff changeset	2
26056 6a0801279f4c Made theory names in ZF disjoint from HOL theory names to allow loading both developments krauss parents: 24893 diff changeset	3	theory Main
6a0801279f4c Made theory names in ZF disjoint from HOL theory names to allow loading both developments krauss parents: 24893 diff changeset	4	imports Main_ZF
6a0801279f4c Made theory names in ZF disjoint from HOL theory names to allow loading both developments krauss parents: 24893 diff changeset	5	begin
12620 4e6626725e21 Some new theorems for ordinals paulson parents: 12552 diff changeset	6
12426 9032bdbc2125 new-style theory; wenzelm parents: 9578 diff changeset	7	end