Changes

Summary

Changeset 7109:b8f580c26682 by fleury _mathias.fleury@mpi-inf.mpg.de_: removing duplicate multiset lemmas
The file was modified	`thys/Automatic_Refinement/Lib/Misc.thy` (diff)
The file was modified	`thys/Program-Conflict-Analysis/ConstraintSystems.thy` (diff)
The file was modified	`thys/Program-Conflict-Analysis/Misc.thy` (diff)
The file was modified	`thys/Program-Conflict-Analysis/Semantics.thy` (diff)
The file was modified	`thys/Refine_Imperative_HOL/Examples/Worklist_Subsumption.thy` (diff)
The file was modified	`thys/SuperCalc/multisets_continued.thy` (diff)
The file was modified	`thys/SuperCalc/superposition.thy` (diff)