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. You do not have to 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.2.0.0.

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

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