Diffusion Isabelle 6255e532aa36

obsolete --- Java is always present via component;
6255e532aa36
Actions

Tags

None

Subscribers

None

Description

obsolete --- Java is always present via component;

Details

Provenance

Authored on

Parents

rISABELLE7cb0c5fbe2d9: obsolete --- KODKODI is always present via component;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6255e532aa36: obsolete --- Java is always present via component;.Sep 29 2020, 11:59 AM

Changes (3)

Path

Size

src/

HOL/

Nitpick_Examples/

Tools/

Nitpick/

rISABELLE6255e532aa36

src/HOL/Nitpick_Examples/minipick.ML

Loading...

src/HOL/Tools/Nitpick/kodkod.ML

Loading...

src/HOL/Tools/Nitpick/nitpick.ML

Loading...