Leon defines its own Sets

library/collection/package.scala

library/lang/Set.scala

src/main/scala/leon/frontends/scalac/ASTExtractors.scala

src/main/scala/leon/frontends/scalac/CodeExtraction.scala

src/main/scala/leon/frontends/scalac/ExtractionPhase.scala

src/main/scala/leon/frontends/scalac/SimpleReporter.scala

src/test/resources/regression/repair/Heap4.scala

src/test/resources/regression/repair/MergeSort2.scala

...esources/regression/termination/valid/BinaryTreeImp.scala

...resources/regression/termination/valid/ListWithSize.scala

...st/resources/regression/termination/valid/QuickSort.scala

...resources/regression/termination/valid/RedBlackTree.scala

...esources/regression/termination/valid/SimpInterpret.scala

...ession/verification/newsolvers/valid/AmortizedQueue.scala

...ssion/verification/newsolvers/valid/AssociativeList.scala

...ression/verification/newsolvers/valid/InsertionSort.scala

...ession/verification/newsolvers/valid/ListOperations.scala

...on/verification/newsolvers/valid/PropositionalLogic.scala

...gression/verification/newsolvers/valid/RedBlackTree.scala

...sion/verification/newsolvers/valid/SearchLinkedList.scala