Copyright (C) 2012  University of Texas at Austin
License: A 3-clause BSD license.  See the LICENSE file distributed with ACL2.

Written by:

Shilpi Goel, Warren A. Hunt, Jr., Matt Kaufmann, and Robert Krug
email: {shigoel,hunt,kaufmann,rkrug}@cs.utexas.edu
Department of Computer Science
University of Texas at Austin
Austin, TX 78701 U.S.A.
