diff --git a/library/annotation/isabelle.scala b/library/leon/annotation/isabelle.scala
similarity index 100%
rename from library/annotation/isabelle.scala
rename to library/leon/annotation/isabelle.scala
diff --git a/library/annotation/package.scala b/library/leon/annotation/package.scala
similarity index 100%
rename from library/annotation/package.scala
rename to library/leon/annotation/package.scala
diff --git a/library/collection/List.scala b/library/leon/collection/List.scala
similarity index 100%
rename from library/collection/List.scala
rename to library/leon/collection/List.scala
diff --git a/library/collection/package.scala b/library/leon/collection/package.scala
similarity index 100%
rename from library/collection/package.scala
rename to library/leon/collection/package.scala
diff --git a/library/instrumentation/package.scala b/library/leon/instrumentation/package.scala
similarity index 100%
rename from library/instrumentation/package.scala
rename to library/leon/instrumentation/package.scala
diff --git a/library/invariant/package.scala b/library/leon/invariant/package.scala
similarity index 100%
rename from library/invariant/package.scala
rename to library/leon/invariant/package.scala
diff --git a/library/io/StdIn.scala b/library/leon/io/StdIn.scala
similarity index 100%
rename from library/io/StdIn.scala
rename to library/leon/io/StdIn.scala
diff --git a/library/lang/Bag.scala b/library/leon/lang/Bag.scala
similarity index 100%
rename from library/lang/Bag.scala
rename to library/leon/lang/Bag.scala
diff --git a/library/lang/Dummy.scala b/library/leon/lang/Dummy.scala
similarity index 100%
rename from library/lang/Dummy.scala
rename to library/leon/lang/Dummy.scala
diff --git a/library/lang/Either.scala b/library/leon/lang/Either.scala
similarity index 100%
rename from library/lang/Either.scala
rename to library/leon/lang/Either.scala
diff --git a/library/lang/Map.scala b/library/leon/lang/Map.scala
similarity index 100%
rename from library/lang/Map.scala
rename to library/leon/lang/Map.scala
diff --git a/library/lang/Option.scala b/library/leon/lang/Option.scala
similarity index 100%
rename from library/lang/Option.scala
rename to library/leon/lang/Option.scala
diff --git a/library/lang/Rational.scala b/library/leon/lang/Rational.scala
similarity index 100%
rename from library/lang/Rational.scala
rename to library/leon/lang/Rational.scala
diff --git a/library/lang/Real.scala b/library/leon/lang/Real.scala
similarity index 100%
rename from library/lang/Real.scala
rename to library/leon/lang/Real.scala
diff --git a/library/lang/Set.scala b/library/leon/lang/Set.scala
similarity index 100%
rename from library/lang/Set.scala
rename to library/leon/lang/Set.scala
diff --git a/library/lang/StrOps.scala b/library/leon/lang/StrOps.scala
similarity index 100%
rename from library/lang/StrOps.scala
rename to library/leon/lang/StrOps.scala
diff --git a/library/lang/package.scala b/library/leon/lang/package.scala
similarity index 100%
rename from library/lang/package.scala
rename to library/leon/lang/package.scala
diff --git a/library/lang/synthesis/Oracle.scala b/library/leon/lang/synthesis/Oracle.scala
similarity index 100%
rename from library/lang/synthesis/Oracle.scala
rename to library/leon/lang/synthesis/Oracle.scala
diff --git a/library/lang/synthesis/package.scala b/library/leon/lang/synthesis/package.scala
similarity index 100%
rename from library/lang/synthesis/package.scala
rename to library/leon/lang/synthesis/package.scala
diff --git a/library/lang/xlang/package.scala b/library/leon/lang/xlang/package.scala
similarity index 100%
rename from library/lang/xlang/package.scala
rename to library/leon/lang/xlang/package.scala
diff --git a/library/lazy/package.scala b/library/leon/lazy/package.scala
similarity index 100%
rename from library/lazy/package.scala
rename to library/leon/lazy/package.scala
diff --git a/library/math/package.scala b/library/leon/math/package.scala
similarity index 100%
rename from library/math/package.scala
rename to library/leon/math/package.scala
diff --git a/library/mem/package.scala b/library/leon/mem/package.scala
similarity index 100%
rename from library/mem/package.scala
rename to library/leon/mem/package.scala
diff --git a/library/monads/state/State.scala b/library/leon/monads/state/State.scala
similarity index 100%
rename from library/monads/state/State.scala
rename to library/leon/monads/state/State.scala
diff --git a/library/par/package.scala b/library/leon/par/package.scala
similarity index 100%
rename from library/par/package.scala
rename to library/leon/par/package.scala
diff --git a/library/proof/Internal.scala b/library/leon/proof/Internal.scala
similarity index 100%
rename from library/proof/Internal.scala
rename to library/leon/proof/Internal.scala
diff --git a/library/proof/package.scala b/library/leon/proof/package.scala
similarity index 100%
rename from library/proof/package.scala
rename to library/leon/proof/package.scala
diff --git a/library/stats/package.scala b/library/leon/stats/package.scala
similarity index 100%
rename from library/stats/package.scala
rename to library/leon/stats/package.scala
diff --git a/library/theories/Bag.scala b/library/leon/theories/Bag.scala
similarity index 100%
rename from library/theories/Bag.scala
rename to library/leon/theories/Bag.scala
diff --git a/library/theories/String.scala b/library/leon/theories/String.scala
similarity index 100%
rename from library/theories/String.scala
rename to library/leon/theories/String.scala
diff --git a/library/util/Random.scala b/library/leon/util/Random.scala
similarity index 100%
rename from library/util/Random.scala
rename to library/leon/util/Random.scala