<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>