Diffusion afp-devel 2bccd7c8634c

clarified defaults: disabled in "isabelle build";
2bccd7c8634c
Actions

Tags

None

Subscribers

None

Description

clarified defaults: disabled in "isabelle build";

Details

Provenance

Authored on

Parents

rAFPa34480eef2a7: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP2bccd7c8634c: clarified defaults: disabled in "isabelle build";.Dec 23 2020, 11:12 PM

makarius mentioned this in T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala.Dec 27 2020, 1:29 PM

Changes (3)

Path

Size

thys/

GewirthPGCProof/

Regular_Algebras/

Types_Tableaus_and_Goedels_God/

rAFP2bccd7c8634c

thys/GewirthPGCProof/ROOT

Loading...

thys/Regular_Algebras/ROOT

Loading...

thys/Types_Tableaus_and_Goedels_God/ROOT

Loading...