NOTE-2-8-ORDINALS.html -- ACL2 Version 3.1

ACL2 Version 2.8 Notes on Changes to the Ordinals

Major Section:  NOTE-2-8

Please see ordinals.