added not1_or and if_eq_cancel to simpset() renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin
added not1_or and if_eq_cancel to simpset()
renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle