Diffusion Isabelle b4660c388e72

isabelle regenerate_cooper;
b4660c388e72
Actions

Tags

None

Subscribers

None

Description

isabelle regenerate_cooper;

Details

Provenance

Authored on

Parents

rISABELLE823ccd84b879: revert bbfed17243af, breaks HOL-Proofs extraction;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb4660c388e72: isabelle regenerate_cooper;.Oct 15 2021, 10:49 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

Qelim/

cooper_procedure.ML

rISABELLEb4660c388e72

src/HOL/Tools/Qelim/cooper.ML

Loading...

src/HOL/Tools/Qelim/cooper_procedure.ML

Loading...