HomeIsabelle/Phabricator
Diffusion Isabelle e5df9c8d9d4b

clarified sessions: "Notable Examples in Isabelle/Pure";
e5df9c8d9d4b
Actions

Description

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

Details

Provenance
makariusAuthored on
Parents
rISABELLE7b34a932eeb6: NEWS
Branches
Unknown
Tags
Unknown

Changes (17)

PathSize
lib/
html/
Doc/
Isar_Ref/
Pure/
Examples/
HOL/
Isar_Examples/

rISABELLEe5df9c8d9d4b

View Options

NEWS

Loading...
View Options

lib/html/library_index_content.template

Loading...
View Options

src/Doc/Isar_Ref/Framework.thy

Loading...
View Options

src/HOL/Isar_Examples/First_Order_Logic.thy

Loading...
View Options

src/HOL/Isar_Examples/Higher_Order_Logic.thy

Loading...
View Options

src/HOL/ROOT

Loading...
View Options

src/Pure/Examples/First_Order_Logic.thy

Loading...
View Options

src/Pure/Examples/Higher_Order_Logic.thy

Loading...
View Options

src/Pure/Examples/document/root.bib

Loading...
View Options

src/Pure/Examples/document/root.tex

Loading...
View Options

src/Pure/ROOT

Loading...