<HTML><HEAD><TITLE>Children of Set2g</TITLE></HEAD>
<H2>Children of theory Set2g</H2>
The name of every theory is linked to its theory file<BR>
<IMG SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A> stands for subtheories (child theories)<BR>
<IMG SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" ALT = /\></A> stands for supertheories (parent theories)
<P>
<A HREF = "../../../../stud/oheimb/isabelle/HOL/index.html">Back</A> to the index of HOL
<HR>
<PRE><A HREF=".Set2g.html">Set2g</A> <A HREF = ".Set2g_sup.html"><IMG SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" BORDER=0 ALT = \/></A>