NOTE-2-8-ORDINALS

ACL2 Version 2.8 Notes on Changes to the Ordinals
Major Section:  NOTE-2-8

Please see ordinals.