discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
(* 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