Two sets of LaTeX macros for proof boxes
posted by Robert Keller
Set from editor of Huth and Ryan text (includes trees)
Set from Alan Davidson, HMC '06
There is no warranty on either of these.