changed arguement order of suffixeq (to facilitate reading "suffixeq xs ys" as "xs is a (possibly empty) suffix of ys)
(* 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