| changeset 55618 | 995162143ef4 |
| parent 48761 | 6a355b4b6a59 |
| child 56658 | 86f9c6912965 |
--- a/src/Pure/General/linear_set.scala Thu Feb 20 14:17:28 2014 +0100 +++ b/src/Pure/General/linear_set.scala Thu Feb 20 14:36:17 2014 +0100 @@ -8,6 +8,7 @@ package isabelle + import scala.collection.SetLike import scala.collection.generic.{ImmutableSetFactory, CanBuildFrom, GenericSetTemplate, GenericCompanion}