Moved the library/ to library/leon/ so that IDE do not complain.

65b760e9 · Mikaël Mayer · e3f13053 · 65b760e9 · 65b760e9 · 65b760e9
Commit 65b760e9 authored 8 years ago by Mikaël Mayer
--- a/library/annotation/isabelle.scala
+++ b/library/annotation/isabelle.scala
--- a/library/annotation/package.scala
+++ b/library/annotation/package.scala
--- a/library/collection/List.scala
+++ b/library/collection/List.scala
--- a/library/collection/package.scala
+++ b/library/collection/package.scala
--- a/library/instrumentation/package.scala
+++ b/library/instrumentation/package.scala
--- a/library/invariant/package.scala
+++ b/library/invariant/package.scala
--- a/library/io/StdIn.scala
+++ b/library/io/StdIn.scala
--- a/library/lang/Bag.scala
+++ b/library/lang/Bag.scala
--- a/library/lang/Dummy.scala
+++ b/library/lang/Dummy.scala
--- a/library/lang/Either.scala
+++ b/library/lang/Either.scala
--- a/library/lang/Map.scala
+++ b/library/lang/Map.scala
--- a/library/lang/Option.scala
+++ b/library/lang/Option.scala
--- a/library/lang/Rational.scala
+++ b/library/lang/Rational.scala
--- a/library/lang/Real.scala
+++ b/library/lang/Real.scala
--- a/library/lang/Set.scala
+++ b/library/lang/Set.scala
--- a/library/lang/StrOps.scala
+++ b/library/lang/StrOps.scala
--- a/library/lang/package.scala
+++ b/library/lang/package.scala
--- a/library/lang/synthesis/Oracle.scala
+++ b/library/lang/synthesis/Oracle.scala
--- a/library/lang/synthesis/package.scala
+++ b/library/lang/synthesis/package.scala
--- a/library/lang/xlang/package.scala
+++ b/library/lang/xlang/package.scala