Diffusion Isabelle ed4149b3d7ab

proper patterns for (- numeral t), amending 03ff4d1e6784;
ed4149b3d7ab
Actions

Tags

None

Subscribers

None

Description

proper patterns for (- numeral t), amending 03ff4d1e6784;

Details

Provenance

Authored on

Parents

rISABELLEbaa7a208d9d5: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEed4149b3d7ab: proper patterns for (- numeral t), amending 03ff4d1e6784;.Oct 2 2021, 11:38 AM

Changes (2)

Path

Size

src/

HOL/

Decision_Procs/

rISABELLEed4149b3d7ab

src/HOL/Decision_Procs/Cooper.thy

Loading...

src/HOL/Decision_Procs/MIR.thy

Loading...