Diffusion Isabelle f79dfc7656ae

miscellaneous examples and experiments for Isabelle/Pure;
f79dfc7656ae
Actions

Tags

None

Subscribers

None

Description

miscellaneous examples and experiments for Isabelle/Pure;

Details

Provenance

Authored on

Parents

rISABELLE641300b56ebe: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf79dfc7656ae: miscellaneous examples and experiments for Isabelle/Pure;.Sep 10 2021, 10:46 PM

Changes (6)

Path

Size

Def_Examples.thy

rISABELLEf79dfc7656ae

src/Pure/ROOT

Loading...

src/Pure/ex/Def.thy

Loading...

src/Pure/ex/Def_Examples.thy

Loading...