On Thursday (1/15) at 5:00pm, I will be practicing my talk for PADL entitled "Toward a Practical Module System for ACL2". The talk is intended to be around 25 minutes. The practice will be in "torture chamber" format. Room TBA. -- Carl Eastlund