Skip to content
Success

Changes

Summary

  1. removed some lemma duplicates
Changeset 9190:4532b826e2b1 by haftmann:
removed some lemma duplicates
The file was modified thys/Native_Word/Word_Misc.thy (diff)
The file was modified thys/Subresultants/Subresultant.thy (diff)