From: Sol Swords
Subject: [acl2-mtg] This week in ACL2

Hi --

At this week's ACL2 meeting I'll talk about a tool called GL that allows 
proof by bit-level symbolic execution of ACL2 functions.  Most of the 
talk will be about how it works conceptually and how to use it to prove 
theorems, but  I'll touch on its implementation as well if there's time. 
  As usual, the meeting will be this Wednesday, Feb. 11, at 4:00 PM in 
ACES 3.116.

  - Sol