log

age author description
Wed, 16 Dec 2009 15:54:50 -0500 Adam Chlipala Easy direction of Intensional