introducing simplification equations for inductive sets; added data structure for storing equations; rewriting retrieval of simplification equation for inductive predicates and sets
(* 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