For this lab, you have to bring your laptop.

During the lab you will:

1. Install the ACL2 Sedan (ACL2s) on your laptop. Do not install
ACL2s before the lab!

2. Use ACL2s to define some simple functions in Bare Bones mode.

3. Explore the ACL2s GUI and keyboard shortcuts. 

Information on how to do all of this is available from the ACL2s
Web page (http://acl2s.ccs.neu.edu/acl2s/).

You will also install:

4. Install SVN.

5. Go over the basics of SVN.

6. Check out the repository where your homework resides and
   commit a file to the repository.