HomeIsabelle/Phabricator
Diffusion Isabelle c44aff8ac894

avoid noise (cf. 03ff4d1e6784);
c44aff8ac894
Actions

Description

avoid noise (cf. 03ff4d1e6784);

Details

Provenance
makariusAuthored on
Parents
rISABELLE98c03412079b: discontinued Isar TTY loop;
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (1)

PathSize
src/
HOL/

rISABELLEc44aff8ac894

View Options

src/HOL/Divides.thy

Loading...