Diffusion Isabelle 9d44cc361f19

update documentation on simproc_setup;
9d44cc361f19
Actions

Tags

None

Subscribers

None

Description

update documentation on simproc_setup;

Details

Provenance

Authored on

Parents

rISABELLEa6b3dfab6fc2: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9d44cc361f19: update documentation on simproc_setup;.Oct 22 2023, 3:25 PM

makarius mentioned this in Blog Post: ML antiquotation for simproc_setup.Oct 22 2023, 8:51 PM

Changes (2)

Path

Size

src/

Doc/

Isar_Ref/

rISABELLE9d44cc361f19

NEWS

Loading...

src/Doc/Isar_Ref/Generic.thy

Loading...