Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. (^) -> [^] in Dirichlet_L
  3. merge
  4. new submission: Dirichlet_L by Manuel Eberl
Changeset 8688:f9f0bf19fb88 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 8687:4ddbf6cb4ede by rene thiemann _rene.thiemann@uibk.ac.at_:
(^) -> [^] in Dirichlet_L
The file was modified thys/Dirichlet_L/Group_Adjoin.thy (diff)
The file was modified thys/Dirichlet_L/Multiplicative_Characters.thy (diff)
Changeset 8686:d56fcee655a5 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 8685:19fd409e201f by rene thiemann _rene.thiemann@uibk.ac.at_:
new submission: Dirichlet_L by Manuel Eberl
The file was addedthys/Dirichlet_L/Dirichlet_Characters.thy
The file was addedthys/Dirichlet_L/Dirichlet_L_Functions.thy
The file was addedthys/Dirichlet_L/Dirichlet_Theorem.thy
The file was addedthys/Dirichlet_L/Group_Adjoin.thy
The file was addedthys/Dirichlet_L/Multiplicative_Characters.thy
The file was addedthys/Dirichlet_L/ROOT
The file was addedthys/Dirichlet_L/document/root.bib
The file was addedthys/Dirichlet_L/document/root.tex
The file was modified thys/ROOTS (diff)