Skip to content
Failed

Changes

Summary

  1. reverted the partial repair
  2. partial repair
Changeset 8494:7f4d2cc1fd6a by nipkow:
reverted the partial repair
Changeset 8493:dbc470f34c84 by nipkow:
partial repair
The file was modified thys/Diophantine_Eqns_Lin_Hom/Linear_Diophantine_Equations.thy (diff)