Please see directory
acl2-sources/books/nonstd/workshops/2011/reid-gamboa-differentiator/.
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".
