HomeIsabelle/Phabricator
Diffusion Isabelle 5de3772609ea

generalized theory name: euclidean division denotes one particular division…
5de3772609ea
Actions

Description

generalized theory name: euclidean division denotes one particular division definition on integers

Details

Provenance
florian.haftmannAuthored on
Parents
rISABELLEa5d3f3c07de8: merged
Branches
Unknown
Tags
Unknown

Changes (12)

PathSize
Algebra/
Euclidean_Rings.thy
Euclidean_Division.thy
Library/
ex/

rISABELLE5de3772609ea

View Options

NEWS

Loading...
View Options

src/HOL/Algebra/Multiplicative_Group.thy

Loading...
View Options

src/HOL/Euclidean_Division.thy

Loading...
View Options

src/HOL/Euclidean_Rings.thy

Loading...
View Options

src/HOL/Library/Code_Binary_Nat.thy

Loading...
View Options

src/HOL/Library/Code_Target_Nat.thy

Loading...
View Options

src/HOL/Library/RBT_Impl.thy

Loading...
View Options

src/HOL/Library/Word.thy

Loading...
View Options

src/HOL/Parity.thy

Loading...
View Options

src/HOL/ex/Parallel_Example.thy

Loading...