Diffusion afp-devel c3daa97ba53c

proper parentheses (amending 354560d7143a);
c3daa97ba53c
Actions

Tags

None

Subscribers

None

Description

proper parentheses (amending 354560d7143a);

Details

Provenance

Authored on

Parents

rAFPef2487130488: Adjusted to prospective release Isabelle2021-2.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPc3daa97ba53c: proper parentheses (amending 354560d7143a);.Nov 1 2021, 12:40 PM

Changes (1)

Path

Size

thys/

Nominal2/

nominal_function_core.ML

rAFPc3daa97ba53c

thys/Nominal2/nominal_function_core.ML

Loading...