Skip to content
Failed

Changes

Summary

  1. restored document preparation
Changeset 7798:a6019174cda9 by haftmann:
restored document preparation
The file was modified thys/Polynomial_Interpolation/Ring_Hom.thy (diff)