log lib/ur/string.urs

age author description
2009-05-31 Adam Chlipala strcspn and friends
2009-05-30 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
2009-05-30 Adam Chlipala String.length
2009-05-26 Adam Chlipala Chars and more string operations