HomeIsabelle/Phabricator
Diffusion afp-devel 0c3edf9248d5

add lemmas
0c3edf9248d5
Actions

Description

add lemmas

Details

Provenance
immlerAuthored on
Parents
rAFPe90416b32a35: adjusted Prim_Dijkstra_Simple from 2019 to devel (: -> \<in>)
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize
thys/
Ordinary_Differential_Equations/
IVP/

rAFP0c3edf9248d5

View Options

thys/Ordinary_Differential_Equations/IVP/Flow.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy

Loading...