I just posted materials from my presentation: http://www.peterd.org/acl2s-boston-lisp/ See also, of course http://acl2s.peterd.org/acl2s/doc/ and http://www.cs.utexas.edu/~moore/acl2/ -- Peter Dillinger pcd at ccs.neu.edu http://www.peterd.org