Diffusion afp-devel a8e9b33d75e1

adapted to Isabelle/5ab5add88922;
a8e9b33d75e1
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/5ab5add88922;

Details

Provenance

Authored on

Parents

rAFPd640dcca7ba6: adapted to Isabelle/f78cdc6fe971;

Branches

Unknown

Tags

Unknown

Reverted By

rAFP88780e621a30: backout a8e9b33d75e1, thanks to Isabelle/f0aca0506531;

Event Timeline

makarius committed rAFPa8e9b33d75e1: adapted to Isabelle/5ab5add88922;.May 16 2023, 5:29 PM

makarius added a reverting change: rAFP88780e621a30: backout a8e9b33d75e1, thanks to Isabelle/f0aca0506531;.May 22 2023, 8:21 PM

Changes (7)

Path

Size

thys/

Collections/

ICF/

gen_algo/

Featherweight_OCL/

collection_types/

Iptables_Semantics/

Primitive_Matchers/

Psi_Calculi/

Bisim_Struct_Cong.thy

QHLProver/

Complex_Matrix.thy

VectorSpace/

VectorSpace.thy

rAFPa8e9b33d75e1

thys/Collections/ICF/gen_algo/Algos.thy

Loading...

thys/Featherweight_OCL/UML_State.thy

Loading...

thys/Featherweight_OCL/collection_types/UML_Set.thy

Loading...

thys/Iptables_Semantics/Primitive_Matchers/Transform.thy

Loading...

thys/Psi_Calculi/Bisim_Struct_Cong.thy

Loading...

thys/QHLProver/Complex_Matrix.thy

Loading...

thys/VectorSpace/VectorSpace.thy

Loading...