log

age author description
Tue, 09 Mar 2010 17:50:42 -0500 Adam Chlipala Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor