J Strother Moore
An ACL2 Demo
J Strother Moore, October 7, 2002
Department of Computer Science, Cornell University
mtotman@cs.cornell.edu
