src/HOL/Codegenerator_Test/Candidates_Pretty.thy

try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);

(* 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