Please see directory acl2-sources/books/nonstd/workshops/1999/calculus/book.
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".
