Diffusion Isabelle db120661dded

new HOL simproc: eliminate_false_implies
db120661dded
Actions

Tags

None

Subscribers

None

Description

new HOL simproc: eliminate_false_implies

Details

Provenance

Authored on

Parents

rISABELLEf4626b1f1b96: added lemma

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLEdb120661dded: new HOL simproc: eliminate_false_implies.May 13 2020, 4:35 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Abstract_Topology_2.thy

rISABELLEdb120661dded

src/HOL/Analysis/Abstract_Topology_2.thy

Loading...

src/HOL/HOL.thy

Loading...