web2py package for lecture1; you can upload this in web2py by choosing "upload and install packed application" from the admin menu in web2py (see video of lecture 1).
Get the class code by either installing the web2py package, or (better) by cloning the git repository. To do the latter, assuming that your web2py installation is in a directory called web2py, do: