Diffusion Isabelle d592354c4a26

removed some 'private' modifiers from HOL-Computational_Algebra
d592354c4a26
Actions

Tags

None

Subscribers

None

Description

removed some 'private' modifiers from HOL-Computational_Algebra

Details

Provenance

Authored on

Parents

rISABELLE2ff001a8c9f2: merged

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLEd592354c4a26: removed some 'private' modifiers from HOL-Computational_Algebra.Oct 15 2021, 6:09 PM

Changes (2)

Path

Size

src/

HOL/

Computational_Algebra/

Factorial_Ring.thy

Polynomial_Factorial.thy

rISABELLEd592354c4a26

src/HOL/Computational_Algebra/Factorial_Ring.thy

Loading...

src/HOL/Computational_Algebra/Polynomial_Factorial.thy

Loading...