Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved material to distribution
Changeset 9228:df018bc8fda3 by nipkow:
moved material to distribution
The file was modified thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff)
The file was modified thys/Diophantine_Eqns_Lin_Hom/Simple_Algorithm.thy (diff)
The file was modified thys/Diophantine_Eqns_Lin_Hom/Sorted_Wrt.thy (diff)