5 Feb
2012
5 Feb
'12
6:17 p.m.
This is discussed in Larry Paulson's MLWP, section 7.14 (page 303 in my paper copy), in his endearing humorous style. Some workarounds suggested.
--
Ian Zimmerman
gpg public key: 1024D/C6FF61AD
fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD
Rule 420: All persons more than eight miles high to leave the court.