Subject: This week in ACL2
Date: Mon, 29 Jan 2007 15:31:50 -0600
From: Robert Bellarmine Krug

Greetings,

This week I will be talking about what I have been doing for
the last month --- working on an improved arithmetic library
for ACL2.  I will talk about a couple of patches to ACL2 I
have just submitted to Matt, and will also talk about the
books I have been developing.

Robert