For this lab, you have to bring your laptop. You should also
download the appropriate package based on your operating system
from the ACL2s Web page (http://acl2s.ccs.neu.edu/acl2s). All you
have to do is to download the package. Do not install it. We want
you to download it before the lab because if 50 students try to
download ACL2s at once, it will cripple the CCIS network.

During the lab you will:

1. Install the ACL2 Sedan (ACL2s) on your laptop. Make sure it is
version 1.1.8.0.

2. Update to 1.1.8.1 using Ecplise.

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

4. 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/).

5. Go through the lecture notes and submit all the forms to ACL2s
using Bare Bones mode.