[PRL] Torture Chamber: 9am tomorrow, Hygienic Macros for the ACL2 Theorem Prover

[Carl Eastlund]

I will be practicing my IFL talk tomorrow morning at 9am in room 164.
The talk has a 25 minute slot, so I will speak for about 20 minutes
and then you can all get out the thumbscrews.

Carl Eastlund