removing bounded_forall code equation for characters when loading Code_Char
removing bounded_forall code equation for characters when loading Code_Char

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