src/HOL/Library/Code_Char_ord.thy
Thu, 19 May 2011 18:09:20 +0200 bulwahn a deeper understanding of the code generation adaptation compared to 9079f49053e5
Wed, 18 May 2011 15:45:33 +0200 bulwahn adding theory to force code generation of ordering on characters to built-in ordering of characters in target languages
less more (0) tip