Diffusion Isabelle bf085daea304

clarified sessions: "Notable Examples in Isabelle/HOL";
bf085daea304
Actions

Tags

None

Subscribers

None

Description

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

Details

Provenance

Authored on

Parents

rISABELLEe5df9c8d9d4b: clarified sessions: "Notable Examples in Isabelle/Pure";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbf085daea304: clarified sessions: "Notable Examples in Isabelle/HOL";.Jun 8 2020, 9:38 PM

Changes (25)

Path

Size

etc/

Doc/

Isar_Ref/

System/

Knaster_Tarski.thy

Knaster_Tarski.thy

Proofs/

ex/

rISABELLEbf085daea304

etc/settings

Loading...

src/Doc/Isar_Ref/Framework.thy

Loading...

src/Doc/System/Server.thy

Loading...

src/HOL/Examples/Cantor.thy

Loading...

src/HOL/Examples/Drinker.thy

Loading...

src/HOL/Examples/Knaster_Tarski.thy

Loading...

src/HOL/Examples/ML.thy

Loading...

src/HOL/Examples/Peirce.thy

Loading...

src/HOL/Examples/Seq.thy

Loading...

src/HOL/Examples/document/root.bib

Loading...

src/HOL/Examples/document/root.tex

Loading...

src/HOL/Isar_Examples/Cantor.thy

Loading...

src/HOL/Isar_Examples/Drinker.thy

Loading...

src/HOL/Isar_Examples/Knaster_Tarski.thy

Loading...

src/HOL/Isar_Examples/Peirce.thy

Loading...

src/HOL/Proofs/ex/XML_Data.thy

Loading...

src/HOL/ROOT

Loading...

src/HOL/ex/ML.thy

Loading...

src/HOL/ex/Seq.thy

Loading...