strengthened tactic to handle 'disc_iff' equations of the form '... = False'
strengthened tactic to handle 'disc_iff' equations of the form '... = False'

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