Diffusion afp-devel a537fb4c92af

adapted to Isabelle/b43ee37926a9;
a537fb4c92af
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/b43ee37926a9;

Details

Provenance

Authored on

Parents

rAFP94c86f8f8a82: merged

Branches

Unknown

Tags

Unknown

Reverted By

rAFP67720f66c560: Backed out changeset a537fb4c92af

Event Timeline

makarius committed rAFPa537fb4c92af: adapted to Isabelle/b43ee37926a9;.Apr 10 2023, 10:55 PM

makarius added a reverting change: rAFP67720f66c560: Backed out changeset a537fb4c92af.Apr 18 2023, 8:44 PM

Changes (6)

Path

Size

thys/

Auto2_HOL/

Generic_Deriving/

QHLProver/

Types_To_Sets_Extension/

ETTS/

rAFPa537fb4c92af

thys/Auto2_HOL/auto2.ML

Loading...

thys/Auto2_HOL/status.ML

Loading...

thys/Auto2_HOL/util.ML

Loading...

thys/Generic_Deriving/derive.ML

Loading...

thys/QHLProver/mat_alg.ML

Loading...

thys/Types_To_Sets_Extension/ETTS/ETTS_Lemma.ML

Loading...