Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Updated Lehmer to changes of GCD
  2. eliminated generated comments;
Changeset 6386:20102f4633e4 by manuel eberl _eberlm@in.tum.de_:
Updated Lehmer to changes of GCD
The file was modified thys/Lehmer/Lehmer.thy (diff)
Changeset 6385:6e4cc77be100 by wenzelm:
eliminated generated comments;
The file was modified thys/Card_Number_Partitions/document/root.tex (diff)
The file was modified thys/Kleene_Algebra/document/root.tex (diff)
The file was modified thys/Knot_Theory/document/root.tex (diff)
The file was modified thys/Matrix_Tensor/document/root.tex (diff)
The file was modified thys/Regular_Algebras/document/root.tex (diff)