src/HOL/ZF/MainZF.thy
changeset 35416 d8d7d1b785af
parent 19203 778507520684
child 35422 e74b6f3b950c
equal deleted inserted replaced
35342:4dc65845eab3 35416:d8d7d1b785af
     1 (*  Title:      HOL/ZF/MainZF.thy
     1 (*  Title:      HOL/ZF/MainZF.thy
     2     ID:         $Id$
       
     3     Author:     Steven Obua
     2     Author:     Steven Obua
     4 
     3 
     5     Starting point for using HOLZF.
     4     Starting point for using HOLZF.
     6     See "Partizan Games in Isabelle/HOLZF", available from http://www4.in.tum.de/~obua/partizan
     5     See "Partizan Games in Isabelle/HOLZF", available from http://www4.in.tum.de/~obua/partizan
     7 *)
     6 *)
     8 
     7 
     9 theory MainZF
     8 theory MainZF
    10 imports Zet LProd
     9 imports Zet LProd
    11 begin
    10 begin
       
    11 
    12 end
    12 end