HomeIsabelle/Phabricator
Diffusion Isabelle 173548e4d5d0

moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL…
173548e4d5d0
Actions

Description

moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory

Details

Provenance
pruvistoAuthored on
Parents
rISABELLEe2174bf626b8: more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
Branches
Unknown
Tags
Unknown

Changes (17)

PathSize
Computational_Algebra/
Number_Theory/

rISABELLE173548e4d5d0

View Options

CONTRIBUTORS

Loading...
View Options

src/HOL/Algebra/Algebra.thy

Loading...
View Options

src/HOL/Algebra/Algebraic_Closure_Type.thy

Loading...
View Options

src/HOL/Computational_Algebra/Euclidean_Algorithm.thy

Loading...
View Options

src/HOL/Computational_Algebra/Factorial_Ring.thy

Loading...
View Options

src/HOL/Computational_Algebra/Formal_Laurent_Series.thy

Loading...
View Options

src/HOL/Computational_Algebra/Formal_Power_Series.thy

Loading...
View Options

src/HOL/Computational_Algebra/Polynomial.thy

Loading...
View Options

src/HOL/Computational_Algebra/Polynomial_Factorial.thy

Loading...
View Options

src/HOL/Computational_Algebra/Primes.thy

Loading...
View Options

src/HOL/GCD.thy

Loading...
View Options

src/HOL/Number_Theory/Cong.thy

Loading...
View Options

src/HOL/Number_Theory/Residues.thy

Loading...
View Options

src/HOL/ROOT

Loading...