Diffusion Isabelle bee83c9d3306

clarified sessions;
bee83c9d3306
Actions

Tags

None

Subscribers

None

Description

clarified sessions;

Details

Provenance

Authored on

Parents

rISABELLEbf085daea304: clarified sessions: "Notable Examples in Isabelle/HOL";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbee83c9d3306: clarified sessions;.Jun 8 2020, 9:55 PM

Changes (8)

Path

Size

Doc/

Isar_Ref/

	Examples/
	ex/

rISABELLEbee83c9d3306

src/Doc/Isar_Ref/Spec.thy

Loading...

src/HOL/Examples/Iff_Oracle.thy

Loading...

src/HOL/ROOT

Loading...

src/HOL/ex/Iff_Oracle.thy

Loading...