Diffusion afp-devel 78025c98b739

adapted to Isabelle/592e2afdd50c;
78025c98b739
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/592e2afdd50c;

Details

Provenance

Authored on

Parents

rAFP6128683958ca: more realistic timeout;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rAFP78025c98b739: adapted to Isabelle/592e2afdd50c;.Nov 29 2019, 8:57 PM

Changes (3)

Path

Size

thys/

Collections/

ICF/

tools/

Locale_Code.thy

Nominal2/

nominal_termination.ML

Partial_Function_MR/

partial_function_mr.ML

rAFP78025c98b739

thys/Collections/ICF/tools/Locale_Code.thy

Loading...

thys/Nominal2/nominal_termination.ML

Loading...

thys/Partial_Function_MR/partial_function_mr.ML

Loading...