Diffusion afp-devel 493d027d541e

ETTS: updated bibliography and citations
493d027d541e
Actions

Tags

None

Subscribers

None

Description

ETTS: updated bibliography and citations

Details

Provenance

user9716869 <user9716869@gmail.com>

Authored on

Parents

rAFPa5be6b3284e3: merged

Branches

Unknown

Tags

Unknown

Event Timeline

user9716869 <user9716869@gmail.com> committed rAFP493d027d541e: ETTS: updated bibliography and citations.Jan 19 2023, 12:42 AM

Changes (3)

Path

Size

thys/

Types_To_Sets_Extension/

ETTS/

Manual/

ETTS_Introduction.thy

Tests/

document/

rAFP493d027d541e

thys/Types_To_Sets_Extension/ETTS/Manual/ETTS_Introduction.thy

Loading...

thys/Types_To_Sets_Extension/ETTS/Tests/ETTS_Tests.thy

Loading...

thys/Types_To_Sets_Extension/document/root.bib

Loading...