Date: 15 Nov 2006 11:08:03 -0600 From: Matt Kaufmann Subject: This week's ACL2 meeting Hi everyone, Today we will start the ACL2 seminar with a roundtable. J has indicated willingness to explore some aspect of ACL2 through a code walk (perhaps the waterfall, perhaps induction); to be decided at the seminar. -- Matt