1
Please see directory acl2-sources/books/nonstd/workshops/1999/analysis/. If
2
you do not already have that directory, you can fetch it together with all the
3
non-standard analysis books by clicking first on "Obtaining and Installing" on
4
the ACL2 home page, and then clicking on "OBTAINING AND INSTALLING ACL2".