1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
<html>
<head><title>The_End_of_the_Flying_Tour.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>The End of the Flying Tour</h2>
<p>
<img src=landing.gif><p>
<p>
This completes the Flying Tour.<p>
You may wish now to go back and revisit selected nodes of the Flying Tour
so that you can explore some of the branches not on the Tour. You can
do so via <a href="A_Flying_Tour_of_ACL2.html">The Flight Plan</a>. These branches
mainly provide some background and motivational material, rather than
details of ACL2.<p>
If you would like to learn more about ACL2 itself, we recommend that
you now take the walking Tour. You may do so by clicking on the
Walking Tour icon below.<p>
Thanks.<br>
Matt Kaufmann and J Moore<p>
<a href="A_Walking_Tour_of_ACL2.html"><img src=walking.gif></a>
<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>
|
