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