log tests/char.urs

age author description
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations