src/HOL/Library/Code_Char_ord.thy
2011-05-19 bulwahn 2011-05-19 a deeper understanding of the code generation adaptation compared to 9079f49053e5
2011-05-18 bulwahn 2011-05-18 adding theory to force code generation of ordering on characters to built-in ordering of characters in target languages