Diffusion afp-devel 48532c37dc2a

clarified session setup -- proper document variants;
48532c37dc2a
Actions

Description

clarified session setup -- proper document variants;

Details

Provenance

makarius

Authored on

Parents

rAFP863519ae0ea9: non-overlapping diretory Examples/ICF;

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (15)

Path

Size

thys

Probabilistic_System_Zoo


	BNFs/

Bool_Bounded_Set.thy

document/

	root_bnfs.tex
	root.tex

		document/
	Non_BNFs/	document/

	root_non_bnfs.tex
	root.tex

rAFP48532c37dc2a

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/root.tex

View Options

thys/Probabilistic_System_Zoo/document/root_bnfs.tex

View Options

thys/Probabilistic_System_Zoo/document/root_non_bnfs.tex

clarified session setup -- proper document variants;48532c37dc2aActions

Description

Details

Event Timeline

Changes (15)

rAFP48532c37dc2a

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/root.tex

thys/Probabilistic_System_Zoo/document/root_bnfs.tex

thys/Probabilistic_System_Zoo/document/root_non_bnfs.tex

clarified session setup -- proper document variants;
48532c37dc2a
Actions