equal
deleted
inserted
replaced
1 <HTML><HEAD><TITLE>Ancestors of Set2g</TITLE></HEAD> |
|
2 <H2>Ancestors of theory Set2g</H2> |
|
3 The name of every theory is linked to its theory file<BR> |
|
4 <IMG SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A> stands for subtheories (child theories)<BR> |
|
5 <IMG SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" ALT = /\></A> stands for supertheories (parent theories) |
|
6 <BR><TT>...</TT> stands for repeated subtrees<P> |
|
7 <A HREF = "../../../../stud/oheimb/isabelle/HOL/index.html">Back</A> to the index of HOL |
|
8 <HR> |
|
9 <PRE><A HREF=".Set2g.html">Set2g</A> <A HREF = ".Set2g_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A> |
|
10 \__<A HREF="../../../../stud/oheimb/isabelle/HOL/.Ord.html">Ord</A> <A HREF = "../../../../stud/oheimb/isabelle/HOL/.Ord_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A><A HREF = "../../../../stud/oheimb/isabelle/HOL/.Ord_sup.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" ALT = /\></A> |
|
11 \__<A HREF="../../../../stud/oheimb/isabelle/HOL/.HOL.html">HOL</A> <A HREF = "../../../../stud/oheimb/isabelle/HOL/.HOL_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A><A HREF = "../../../../stud/oheimb/isabelle/HOL/.HOL_sup.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/blue_arrow.gif" ALT = /\></A> |
|
12 \__CPure <A HREF = "../../../../stud/oheimb/isabelle/HOL/.CPure_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A> |
|
13 </PRE><HR></BODY></HTML> |
|