23 Apr
2008
23 Apr
'08
4:45 p.m.
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@ccs.neu.edu http://www.peterd.org