1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<html>
<head><title>NOTE-2-1.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>NOTE-2-1</h2>ACL2 Version 2.1 (December, 1997) Notes
<pre>Major Section: <a href="RELEASE-NOTES.html">RELEASE-NOTES</a>
</pre><p>
The identity function <code><a href="CASE-SPLIT.html">case-split</a></code> has been added. It is similar
to <code><a href="FORCE.html">force</a></code> but causes an immediate split of the top-level goal on
whether the indicated hypothesis is true.
<p>
Less important notes:<p>
Minor bugs in the documentation were fixed.
<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>
|
