Diffusion Isabelle 70aab133dc8d

proper abstraction of function variables when instantiating induction rules in…
70aab133dc8d
Actions

Tags

None

Subscribers

None

Description

proper abstraction of function variables when instantiating induction rules in Sledgehammer

Details

Provenance

Authored on

Parents

rISABELLE5d3a846bccf8: added lemma asympD

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE70aab133dc8d: proper abstraction of function variables when instantiating induction rules in….Jan 10 2022, 2:13 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_fact.ML

rISABELLE70aab133dc8d

src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML

Loading...