Diffusion afp-devel 838a646468c7

clarified session directories;
838a646468c7
Actions

Description

clarified session directories;

Details

Provenance

makarius

Authored on

Parents

rAFP1fa9b1612d09: added missing session entry in ROOT file

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (19)

Path

Size

thys

Probabilistic_System_Zoo

BNFs

document

	BNFs/

Bool_Bounded_Set.thy

	BNFs/	document/
	document/	BNFs/

	Non_BNFs/	document/
	document/	Non_BNFs/


	Hierarchy/

root.tex

rAFP838a646468c7

View Options

thys/Probabilistic_System_Zoo/BNFs/Bool_Bounded_Set.thy

View Options

thys/Probabilistic_System_Zoo/BNFs/document/root.tex

View Options

thys/Probabilistic_System_Zoo/Bool_Bounded_Set.thy

View Options

thys/Probabilistic_System_Zoo/Non_BNFs/document/root.tex

View Options

thys/Probabilistic_System_Zoo/ROOT

View Options

thys/Probabilistic_System_Zoo/document/BNFs/root.tex

View Options

thys/Probabilistic_System_Zoo/document/Hierarchy/root.tex

View Options

thys/Probabilistic_System_Zoo/document/Non_BNFs/root.tex

View Options

thys/Probabilistic_System_Zoo/document/root.tex

clarified session directories;838a646468c7Actions

Description

Details

Event Timeline

Changes (19)

rAFP838a646468c7

thys/Probabilistic_System_Zoo/BNFs/Bool_Bounded_Set.thy

thys/Probabilistic_System_Zoo/BNFs/document/root.tex

thys/Probabilistic_System_Zoo/Bool_Bounded_Set.thy

thys/Probabilistic_System_Zoo/Non_BNFs/document/root.tex

thys/Probabilistic_System_Zoo/ROOT

thys/Probabilistic_System_Zoo/document/BNFs/root.tex

thys/Probabilistic_System_Zoo/document/Hierarchy/root.tex

thys/Probabilistic_System_Zoo/document/Non_BNFs/root.tex

thys/Probabilistic_System_Zoo/document/root.tex

clarified session directories;
838a646468c7
Actions