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