--- a/src/Tools/8bit/doc/.Set2g_sup.html Tue Jul 23 13:19:27 1996 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-<HTML><HEAD><TITLE>Ancestors of Set2g</TITLE></HEAD>
-<H2>Ancestors 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)
-<BR><TT>...</TT> stands for repeated subtrees<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_sub.html"><IMG ALIGN=BOTTOM BORDER=0 SRC = "../../../../stud/oheimb/isabelle/Tools/red_arrow.gif" ALT = \/></A>
- \__<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>
- \__<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>
- \__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>
-</PRE><HR></BODY></HTML>
\ No newline at end of file