|
6255
|
1 |
<HTML><HEAD><TITLE>buffer</TITLE></HEAD>
|
|
|
2 |
<BODY><H2>buffer</H2>
|
|
|
3 |
The name of every theory is linked to its theory file<BR>
|
|
|
4 |
<IMG SRC = "../../../Tools/red_arrow.gif" ALT = \/></A> stands for subtheories (child theories)<BR>
|
|
|
5 |
<IMG SRC = "../../../Tools/blue_arrow.gif" ALT = /\></A> stands for supertheories (parent theories)<P>
|
|
|
6 |
<A HREF = "../../index.html">Back</A> to the index of ex
|
|
|
7 |
<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>
|
|
|
8 |
<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>
|