Diffusion Isabelle 3867734b9a40

install simproc but deactivate by default
3867734b9a40
Actions

Tags

None

Subscribers

None

Description

install simproc but deactivate by default

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE8357ee06ade1: adapted to d25093536482;

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE3867734b9a40: install simproc but deactivate by default.May 30 2020, 10:50 AM

Changes (2)

Path

Size

src/

HOL/

Library/

Quantified_Premise_Simproc.thy

rISABELLE3867734b9a40

src/HOL/HOL.thy

Loading...

src/HOL/Library/Quantified_Premise_Simproc.thy

Loading...