1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<html>
<head><title>A_Tiny_Warning_Sign.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>A Tiny Warning Sign</h2>
<p>
<img src=warning.gif><p>
This warning sign, which usually appears as ``<img src=twarning.gif>'',
indicates that the link it marks takes you into ACL2's online
documentation.<p>
The documentation is a vast graph of documented topics intended to
help the <em>user</em> of ACL2 rather than the <em>potential user</em>. If
you are exploring ACL2's home page to learn about the system,
perhaps you should go back rather than follow the link marked with
this sign. But you are welcome to explore the online documentation
as well. Good luck.
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
