(* Author: Florian Haftmann, TU Muenchen *) header {* Generating code using pretty literals and natural number literals *} theory Candidates_Pretty imports Candidates Code_Char_ord Efficient_Nat begin end