Diffusion afp-devel eec42543ab91

Backed out changeset c9f94b0ae10e
eec42543ab91
Actions

Tags

None

Subscribers

None

Description

Backed out changeset c9f94b0ae10e

Details

Provenance

Authored on

Parents

rAFP26c4c8765120: Backed out changeset b8c3f69745a4

Branches

Unknown

Tags

Unknown

Reverts

rAFPc9f94b0ae10e: New entry: VYDRA_MDL

Event Timeline

kleing committed rAFPeec42543ab91: Backed out changeset c9f94b0ae10e.Feb 23 2022, 10:12 PM

kleing added a reverted change: rAFPc9f94b0ae10e: New entry: VYDRA_MDL.Feb 23 2022, 11:03 PM

Changes (19)

Path

Size

Metric_Point_Structure.thy

Monitor_Code.thy

Preliminaries.thy

Timestamp_Lex.thy

Timestamp_Prod.thy

rAFPeec42543ab91

thys/VYDRA_MDL/Interval.thy

Loading...

thys/VYDRA_MDL/MDL.thy

Loading...

thys/VYDRA_MDL/Metric_Point_Structure.thy

Loading...

thys/VYDRA_MDL/Monitor.thy

Loading...

thys/VYDRA_MDL/Monitor_Code.thy

Loading...

thys/VYDRA_MDL/NFA.thy

Loading...

thys/VYDRA_MDL/Preliminaries.thy

Loading...

thys/VYDRA_MDL/ROOT

Loading...

thys/VYDRA_MDL/Temporal.thy

Loading...

thys/VYDRA_MDL/Timestamp.thy

Loading...

thys/VYDRA_MDL/Timestamp_Lex.thy

Loading...

thys/VYDRA_MDL/Timestamp_Prod.thy

Loading...

thys/VYDRA_MDL/Trace.thy

Loading...

thys/VYDRA_MDL/Window.thy

Loading...

thys/VYDRA_MDL/document/root.bib

Loading...

thys/VYDRA_MDL/document/root.tex

Loading...