Diffusion afp-devel 96cce49d33a6

adapted to Isabelle/9a60c1759543;
96cce49d33a6
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/9a60c1759543;

Details

Provenance

Authored on

Parents

rAFP61f7680ed799: more realistic timeout, based on CPU time;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP96cce49d33a6: adapted to Isabelle/9a60c1759543;.Jan 31 2023, 10:29 PM

Changes (1)

Path

Size

thys/

ZFC_in_HOL/

rAFP96cce49d33a6

thys/ZFC_in_HOL/ZFC_in_HOL.thy

Loading...