Diffusion afp-devel c812b6895caa

variable renaming
c812b6895caa
Actions

Tags

None

Subscribers

None

Description

variable renaming

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP023af1e22f70: more on conversions

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPc812b6895caa: variable renaming.Aug 30 2020, 10:22 PM

Changes (1)

Path

Size

thys/

Ordinary_Differential_Equations/

IVP/

Picard_Lindeloef_Qualitative.thy

rAFPc812b6895caa

thys/Ordinary_Differential_Equations/IVP/Picard_Lindeloef_Qualitative.thy

Loading...