19203
|
1 |
(* Title: HOL/ZF/MainZF.thy
|
|
2 |
ID: $Id$
|
|
3 |
Author: Steven Obua
|
|
4 |
|
|
5 |
Starting point for using HOLZF.
|
|
6 |
See "Partizan Games in Isabelle/HOLZF", available from http://www4.in.tum.de/~obua/partizan
|
|
7 |
*)
|
|
8 |
|
|
9 |
theory MainZF
|
|
10 |
imports Zet LProd
|
|
11 |
begin
|
|
12 |
end |