src/HOL/Codegenerator_Test/ROOT.ML

introducing simplification equations for inductive sets; added data structure for storing equations; rewriting retrieval of simplification equation for inductive predicates and sets

use_thys ["Generate", "Generate_Pretty"];