Diffusion Isabelle 6241cbbf5a58

preload library;
6241cbbf5a58
Actions

Tags

None

Subscribers

None

Description

preload library;

Details

Provenance

Authored on

Parents

rISABELLEf422efa3cca0: update to kodkodi-1.5.4-1;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6241cbbf5a58: preload library;.Aug 20 2020, 4:00 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Nitpick/

rISABELLE6241cbbf5a58

src/HOL/Tools/Nitpick/kodkod.scala

Loading...