Diffusion afp-devel 191af98a6c94

fix(Transport) replace deleted elim theorem
191af98a6c94
Actions

Tags

None

Subscribers

None

Description

fix(Transport) replace deleted elim theorem

Details

Provenance

Authored on

Parents

rAFPb9671736f160: feat(Transport) remove two superfluous bin_rel lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

kappelmann committed rAFP191af98a6c94: fix(Transport) replace deleted elim theorem.Apr 22 2024, 10:27 PM

Changes (1)

Path

Size

thys/

Transport/

HOL_Basics/

HOL_Alignments/

HOL_Algebra_Alignment_Galois.thy

rAFP191af98a6c94

thys/Transport/HOL_Basics/HOL_Alignments/HOL_Algebra_Alignment_Galois.thy

Loading...