Diffusion afp-devel 0d068cd791af

clarified session directories and theory imports;
0d068cd791af
Actions

Description

clarified session directories and theory imports;

Details

Provenance

makarius

Authored on

Parents

rAFP5786f7df9dd8: clarified session directories and theory imports;

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (10)

Path

Size

thys

Ordinary_Differential_Equations

Library

Transfer_Analysis.thy

Transfer_ODE.thy

Numerics

Transfer_Euclidean_Space_Vector.thy

	Numerics/
	Library/

Transfer_Analysis.thy

Transfer_ODE.thy

ROOT

rAFP0d068cd791af

View Options

thys/Ordinary_Differential_Equations/Library/Transfer_Analysis.thy

View Options

thys/Ordinary_Differential_Equations/Library/Transfer_ODE.thy

View Options

thys/Ordinary_Differential_Equations/Numerics/Transfer_Analysis.thy

View Options

thys/Ordinary_Differential_Equations/Numerics/Transfer_Euclidean_Space_Vector.thy

View Options

thys/Ordinary_Differential_Equations/Numerics/Transfer_ODE.thy

View Options

thys/Ordinary_Differential_Equations/ROOT

clarified session directories and theory imports;0d068cd791afActions

Description

Details

Event Timeline

Changes (10)

rAFP0d068cd791af

thys/Ordinary_Differential_Equations/Library/Transfer_Analysis.thy

thys/Ordinary_Differential_Equations/Library/Transfer_ODE.thy

thys/Ordinary_Differential_Equations/Numerics/Transfer_Analysis.thy

thys/Ordinary_Differential_Equations/Numerics/Transfer_Euclidean_Space_Vector.thy

thys/Ordinary_Differential_Equations/Numerics/Transfer_ODE.thy

thys/Ordinary_Differential_Equations/ROOT

clarified session directories and theory imports;
0d068cd791af
Actions