Skip to content
Success

Changes

Summary

  1. dropped "value" command
Changeset 8607:3463f1cc5c2f by Christian Sternagel:
dropped "value" command
The file was modified thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy (diff)