log tests/substring.urp

age author description
2009-05-30 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug