Diffusion afp-devel 6a3c69467146

Clean: ROOT/directories structure
6a3c69467146
Actions

Tags

None

Subscribers

None

Description

Clean: ROOT/directories structure

Details

Provenance

Authored on

Parents

rAFP2ac9ae9dd0f6: Clean: consolidate ROOT file for new session directories

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP6a3c69467146: Clean: ROOT/directories structure.Oct 21 2019, 6:14 AM

Changes (4)

Path

Size

thys/

Clean/

examples/

Quicksort_concept.thy

SquareRoot_concept.thy

src/

rAFP6a3c69467146

thys/Clean/ROOT

Loading...

thys/Clean/examples/Quicksort_concept.thy

Loading...

thys/Clean/examples/SquareRoot_concept.thy

Loading...

thys/Clean/src/Test_Clean.thy

Loading...