src/HOL/Tools/string_code.ML
2009-05-06 haftmann 2009-05-06 proper structures for list and string code generation stuff