src/HOL/TLA/Buffer/index.html
changeset 6255 db63752140c7
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/TLA/Buffer/index.html	Mon Feb 08 13:02:56 1999 +0100
@@ -0,0 +1,8 @@
+<HTML><HEAD><TITLE>buffer</TITLE></HEAD>
+<BODY><H2>buffer</H2>
+The name of every theory is linked to its theory file<BR>
+<IMG SRC = "../../../Tools/red_arrow.gif" ALT = \/></A> stands for subtheories (child theories)<BR>
+<IMG SRC = "../../../Tools/blue_arrow.gif" ALT = /\></A> stands for supertheories (parent theories)<P>
+<A HREF = "../../index.html">Back</A> to the index of ex
+<HR><A HREF = ".Buffer_sub.html"><IMG SRC = "../../../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".Buffer_sup.html"><IMG SRC = "../../../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".Buffer.html">Buffer</A><BR>
+<A HREF = ".DBuffer_sub.html"><IMG SRC = "../../../Tools/red_arrow.gif" BORDER=0 ALT = \/></A><A HREF = ".DBuffer_sup.html"><IMG SRC = "../../../Tools/blue_arrow.gif" BORDER=0 ALT = /\></A> <A HREF = ".DBuffer.html">DBuffer</A><BR>