Diffusion Isabelle a6d147b22b9b

clarified documentation: avoid odd speculations about PIDE;
a6d147b22b9b
Actions

Tags

None

Subscribers

None

Description

clarified documentation: avoid odd speculations about PIDE;

Details

Provenance

Authored on

Parents

rISABELLE11c0747a87fc: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa6d147b22b9b: clarified documentation: avoid odd speculations about PIDE;.Jan 16 2023, 1:48 PM

Changes (1)

Path

Size

src/

Doc/

Isar_Ref/

Document_Preparation.thy

rISABELLEa6d147b22b9b

src/Doc/Isar_Ref/Document_Preparation.thy

Loading...