Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. restored document preparation
  2. restored document preparation
Changeset 7800:3dc9fb993329 by haftmann:
restored document preparation
The file was modified thys/Berlekamp_Zassenhaus/Unique_Factorization.thy (diff)
Changeset 7799:187b01fcfd58 by haftmann:
restored document preparation
The file was modified thys/Berlekamp_Zassenhaus/Unique_Factorization.thy (diff)