ACL2 Version 2.0 (July, 1997) Notes
This is the first version of ACL2 released under the copyright of the University of Texas (UT). Future releases of ACL2 will be made from UT rather than Computational Logic, Inc. (CLI). Version 2.0 is just Version 1.9 as released by CLI, with a few bugs fixed.
A bug causing an infinite loop was fixed in functional instantiation. The
bug manifested itself when two conditions occurred simultaneously: First, the
functional substitution replaces a function symbol, e.g.,
Less important notes:
The implementation of
Typographical errors were fixed in the documentation.