src/HOL/SizeChange/ROOT.ML

added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps

(*  Title:      HOL/Matrix/ROOT.ML
    ID:         $Id$
*)

no_document use_thy "Infinite_Set";
no_document use_thy "Ramsey";
use_thy "Examples";