TUTORIAL5-MISCELLANEOUS-EXAMPLES.html -- ACL2 Version 6.3

### TUTORIAL5-MISCELLANEOUS-EXAMPLES

miscellaneous ACL2 examples

    Major Section:  ANNOTATED-ACL2-SCRIPTS

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

## Some Related Topics

- ### FILE-READING-EXAMPLE -- example of reading files in ACL2

- ### FUNCTIONAL-INSTANTIATION-EXAMPLE -- a small proof demonstrating functional instantiation

- ### GUARD-EXAMPLE -- a brief transcript illustrating guards in ACL2

- ### MUTUAL-RECURSION-PROOF-EXAMPLE -- a small proof about mutually recursive functions