adapted to Isabelle 80d7f004089d
7904a23154fd
Actions

Description

adapted to Isabelle 80d7f004089d

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

thys/

Smith_Normal_Form/

rAFP7904a23154fd

thys/Smith_Normal_Form/Cauchy_Binet.thy

thys/Smith_Normal_Form/Cauchy_Binet_HOL_Analysis.thy

thys/Smith_Normal_Form/Rings2_Extended.thy

thys/Smith_Normal_Form/SNF_Missing_Lemmas.thy

thys/Smith_Normal_Form/SNF_Uniqueness.thy

thys/Smith_Normal_Form/Smith_Certified.thy

adapted to Isabelle 80d7f004089d7904a23154fdActions

Description

Details

Changes (6)

rAFP7904a23154fd

thys/Smith_Normal_Form/Cauchy_Binet.thy

thys/Smith_Normal_Form/Cauchy_Binet_HOL_Analysis.thy

thys/Smith_Normal_Form/Rings2_Extended.thy

thys/Smith_Normal_Form/SNF_Missing_Lemmas.thy

thys/Smith_Normal_Form/SNF_Uniqueness.thy

thys/Smith_Normal_Form/Smith_Certified.thy

adapted to Isabelle 80d7f004089d
7904a23154fd
Actions