Diffusion afp-devel 1cb02f1980cb

Interval_Analysis: adapt to isabelle@cff4576218fa
1cb02f1980cb
Actions

Tags

None

Subscribers

None

Description

Interval_Analysis: adapt to isabelle@cff4576218fa

Details

Provenance

Authored on

Parents

rAFP3573cc4311ae: merge from afp-2023

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP1cb02f1980cb: Interval_Analysis: adapt to isabelle@cff4576218fa.Feb 18 2024, 4:21 AM

Changes (2)

Path

Size

thys/

Interval_Analysis/

Extended_Interval_Analysis.thy

Interval_Utilities.thy

rAFP1cb02f1980cb

thys/Interval_Analysis/Extended_Interval_Analysis.thy

Loading...

thys/Interval_Analysis/Interval_Utilities.thy

Loading...