Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Number_Theory/Number_Theory.thy
author Manuel Eberl <manuel@pruvisto.org>
Thu, 04 Apr 2024 15:29:41 +0200
changeset 80084 173548e4d5d0
parent 69790 154cf64e403e
permissions -rw-r--r--
moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory


section \<open>Comprehensive number theory\<close>

theory Number_Theory
imports
  Fib
  Residues
  Eratosthenes
  Mod_Exp
  Quadratic_Reciprocity
  Pocklington
  Prime_Powers
  Residue_Primitive_Roots
begin

end
isabelle