#
ef674b63 |
|
20-Jun-2006 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Getting things to work with the new improved naming scheme. (e.g. COMMON-LISP::= is now called common_lisp_equal rather than acl2_equal, and definitions proviously named *_acl2_defun are now stored as *_def).
|