log

age author description
Tue, 12 Mar 2013 16:21:20 -0400 Adam Chlipala Manual: Reveal JavaScript representation of transaction type family