Diffusion afp-devel fb8151af3965

Fixed references to linorder_antisym_conv1 and linorder_antisym_conv2
fb8151af3965
Actions

Tags

None

Subscribers

None

Description

Fixed references to linorder_antisym_conv1 and linorder_antisym_conv2

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP3e8784de1027: merge from afp-2019

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (6)

Path

Size

thys/

Collections/

ICF/

gen_algo/

PrioUniqueByAnnotatedList.thy

Diophantine_Eqns_Lin_Hom/

Linear_Diophantine_Equations.thy

Group-Ring-Module/

LinearQuantifierElim/

Thys/

Projective_Geometry/

Matroid_Rank_Properties.thy

rAFPfb8151af3965

thys/Collections/ICF/gen_algo/PrioUniqueByAnnotatedList.thy

Loading...

thys/Diophantine_Eqns_Lin_Hom/Linear_Diophantine_Equations.thy

Loading...

thys/Group-Ring-Module/Algebra3.thy

Loading...

thys/LinearQuantifierElim/Thys/QEdlo_inf.thy

Loading...

thys/LinearQuantifierElim/Thys/QElin_inf.thy

Loading...

thys/Projective_Geometry/Matroid_Rank_Properties.thy

Loading...