Diffusion afp-devel b1b1e175c5f8

unchecked \cite for unidentifiable citation;
b1b1e175c5f8
Actions

Tags

None

Subscribers

None

Description

unchecked \cite for unidentifiable citation;

Details

Provenance

Authored on

Parents

rAFPab90e6e586ca: isabelle update -u cite;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPb1b1e175c5f8: unchecked \cite for unidentifiable citation;.Jan 17 2023, 11:34 PM

Changes (1)

Path

Size

thys/

Types_To_Sets_Extension/

ETTS/

Tests/

rAFPb1b1e175c5f8

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_Tests.thy

Loading...