Diffusion afp-devel cb48e644eda2

adapted to "subst" of Isabelle/e5fcbf6dc687;
cb48e644eda2
Actions

Tags

None

Subscribers

None

Description

adapted to "subst" of Isabelle/e5fcbf6dc687;

Details

Provenance

Authored on

Parents

rAFP59b5d2617e31: more systematic support for special directories (see Isabelle/5894859c5c84);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPcb48e644eda2: adapted to "subst" of Isabelle/e5fcbf6dc687;.Aug 31 2020, 10:06 PM

Changes (4)

Path

Size

thys/

KBPs/

Nested_Multisets_Ordinals/

Syntactic_Ordinal.thy

Ordinary_Differential_Equations/

IVP/

Valuation/

rAFPcb48e644eda2

thys/KBPs/ClockView.thy

Loading...

thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy

Loading...

thys/Ordinary_Differential_Equations/IVP/Flow_Congs.thy

Loading...

thys/Valuation/Valuation2.thy

Loading...