Diffusion afp-devel 4acc6a5c1603

adapted to f4626b1f1b96
4acc6a5c1603
Actions

Tags

None

Subscribers

None

Description

adapted to f4626b1f1b96

Details

Provenance

Authored on

Parents

rAFP6c077dc51be0: various extensions and simplifications to the theorem proving libraries

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP4acc6a5c1603: adapted to f4626b1f1b96.May 15 2020, 8:19 AM

Changes (1)

Path

Size

thys/

BytecodeLogicJmlTypes/

rAFP4acc6a5c1603

thys/BytecodeLogicJmlTypes/Sound.thy

Loading...