Diffusion afp-devel 67e783e1f268

Fixed sorries
67e783e1f268
Actions

Tags

None

Subscribers

None

Description

Fixed sorries

Details

Provenance

Simon Wimmer <wimmers@in.tum.de>

Authored on

Parents

rAFPb9514d50aa5a: Simplified proof

Branches

Unknown

Tags

Unknown

Event Timeline

Simon Wimmer <wimmers@in.tum.de> committed rAFP67e783e1f268: Fixed sorries.Aug 5 2019, 1:01 PM

Changes (1)

Path

Size

thys/

Monad_Memo_DP/

example/

Bellman_Ford.thy

rAFP67e783e1f268

thys/Monad_Memo_DP/example/Bellman_Ford.thy

Loading...