Diffusion Isabelle 83569d243671

clarified components;
83569d243671
Actions

Tags

None

Subscribers

None

Description

clarified components;

Details

Provenance

Authored on

Parents

rISABELLEfbd69f277699: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE83569d243671: clarified components;.Mar 11 2021, 12:16 PM

Changes (8)

Path

Size

etc/

etc/

rISABELLE83569d243671

etc/components

Loading...

src/HOL/Tools/ATP/etc/settings

Loading...

src/HOL/Tools/etc/settings

Loading...