TUTORIAL5-MISCELLANEOUS-EXAMPLES

miscellaneous ACL2 examples
Major Section:  TUTORIAL-EXAMPLES

The following examples are more advanced examples of usage of ACL2. They are included largely for reference, in case someone finds them useful.