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