kframework/k — pull request #631 by dwightguth (2014-06-19 16:07:48+00:00)
Title: add base2string and string2base to string.k

@andreistefanescu please review.

Fixes #573