Diffusion afp-devel 19fa00c4832d

adapt to Isabelle 07c85c68ff03
19fa00c4832d
Actions

Tags

None

Subscribers

None

Description

adapt to Isabelle 07c85c68ff03

Details

Provenance

Authored on

Parents

rAFP78e7e62b73bd: merge from afp-2020

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP19fa00c4832d: adapt to Isabelle 07c85c68ff03.May 17 2020, 10:38 AM

Changes (1)

Path

Size

thys/

Matrices_for_ODEs/

rAFP19fa00c4832d

thys/Matrices_for_ODEs/MTX_Flows.thy

Loading...