Diffusion Isabelle 3e30ca77ccfe

improved output in simps_case_conv;
3e30ca77ccfe
Actions

Tags

None

Subscribers

None

Description

improved output in simps_case_conv;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLEa53287d9add3: improved output in inductive module;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLE3e30ca77ccfe: improved output in simps_case_conv;.Feb 27 2024, 12:28 PM

makarius mentioned this in rISABELLE1cbae8af034c: NEWS for a53287d9add3, 3e30ca77ccfe;.Feb 29 2024, 12:22 PM

Changes (1)

Path

Size

src/

HOL/

Library/

simps_case_conv.ML

rISABELLE3e30ca77ccfe

src/HOL/Library/simps_case_conv.ML

Loading...