diff --git a/AERN-Real.cabal b/AERN-Real.cabal
--- a/AERN-Real.cabal
+++ b/AERN-Real.cabal
@@ -1,5 +1,5 @@
 Name:           AERN-Real
-Version:        0.9.0
+Version:        0.9.1
 Cabal-Version:  >= 1.2
 Build-Type:     Simple
 License:        BSD3
diff --git a/src/Data/Number/ER.hs b/src/Data/Number/ER.hs
--- a/src/Data/Number/ER.hs
+++ b/src/Data/Number/ER.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER
     Description :  top level of the exactreals framework
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/BasicTypes.hs b/src/Data/Number/ER/BasicTypes.hs
--- a/src/Data/Number/ER/BasicTypes.hs
+++ b/src/Data/Number/ER/BasicTypes.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.BasicTypes
     Description :  generic types for exact real number processing 
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/ExtendedInteger.hs b/src/Data/Number/ER/ExtendedInteger.hs
--- a/src/Data/Number/ER/ExtendedInteger.hs
+++ b/src/Data/Number/ER/ExtendedInteger.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.ExtendedInteger
     Description :  integer with infinities 
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Misc.hs b/src/Data/Number/ER/Misc.hs
--- a/src/Data/Number/ER/Misc.hs
+++ b/src/Data/Number/ER/Misc.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Misc
     Description :  general purpose extras 
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/PlusMinus.hs b/src/Data/Number/ER/PlusMinus.hs
--- a/src/Data/Number/ER/PlusMinus.hs
+++ b/src/Data/Number/ER/PlusMinus.hs
@@ -3,7 +3,7 @@
     Module      :  Data.Number.ER.PlusMinus
     Description :  mini sign datatype
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real.hs b/src/Data/Number/ER/Real.hs
--- a/src/Data/Number/ER/Real.hs
+++ b/src/Data/Number/ER/Real.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real
     Description :  overview of AERN-Real
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Approx.hs b/src/Data/Number/ER/Real/Approx.hs
--- a/src/Data/Number/ER/Real/Approx.hs
+++ b/src/Data/Number/ER/Real/Approx.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real.Approx
     Description :  classes abstracting exact reals
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Approx/Elementary.hs b/src/Data/Number/ER/Real/Approx/Elementary.hs
--- a/src/Data/Number/ER/Real/Approx/Elementary.hs
+++ b/src/Data/Number/ER/Real/Approx/Elementary.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real.Approx.Elementary
     Description :  abstraction of exact reals capable of elementary operations
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Approx/Interval.hs b/src/Data/Number/ER/Real/Approx/Interval.hs
--- a/src/Data/Number/ER/Real/Approx/Interval.hs
+++ b/src/Data/Number/ER/Real/Approx/Interval.hs
@@ -3,7 +3,7 @@
     Module      :  Data.Number.ER.Real.Approx.Interval
     Description :  safe interval arithmetic
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Approx/Sequence.hs b/src/Data/Number/ER/Real/Approx/Sequence.hs
--- a/src/Data/Number/ER/Real/Approx/Sequence.hs
+++ b/src/Data/Number/ER/Real/Approx/Sequence.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real.Approx.Sequence
     Description :  exact reals via convergent sequences
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Arithmetic/Elementary.hs b/src/Data/Number/ER/Real/Arithmetic/Elementary.hs
--- a/src/Data/Number/ER/Real/Arithmetic/Elementary.hs
+++ b/src/Data/Number/ER/Real/Arithmetic/Elementary.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real.Arithmetic.Elementary
     Description :  some elementary functions
     Copyright   :  (c) Michal Konecny, Amin Farjudian, Jan Duracz
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Arithmetic/Integration.hs b/src/Data/Number/ER/Real/Arithmetic/Integration.hs
--- a/src/Data/Number/ER/Real/Arithmetic/Integration.hs
+++ b/src/Data/Number/ER/Real/Arithmetic/Integration.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real.Arithmetic.Integration
     Description :  simple integration methods
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Arithmetic/Newton.hs b/src/Data/Number/ER/Real/Arithmetic/Newton.hs
--- a/src/Data/Number/ER/Real/Arithmetic/Newton.hs
+++ b/src/Data/Number/ER/Real/Arithmetic/Newton.hs
@@ -3,7 +3,7 @@
     Module      :  Data.Number.ER.Real.Arithmetic.Taylor
     Description :  interval Newton method
     Copyright   :  (c) Amin Farjudian, Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  alpha
diff --git a/src/Data/Number/ER/Real/Arithmetic/Taylor.hs b/src/Data/Number/ER/Real/Arithmetic/Taylor.hs
--- a/src/Data/Number/ER/Real/Arithmetic/Taylor.hs
+++ b/src/Data/Number/ER/Real/Arithmetic/Taylor.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real.Arithmetic.Taylor
     Description :  implementation of Taylor series
     Copyright   :  (c) Amin Farjudian, Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Base.hs b/src/Data/Number/ER/Real/Base.hs
--- a/src/Data/Number/ER/Real/Base.hs
+++ b/src/Data/Number/ER/Real/Base.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real.Base
     Description :  class abstracting floats
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Base/CombinedMachineAP.hs b/src/Data/Number/ER/Real/Base/CombinedMachineAP.hs
--- a/src/Data/Number/ER/Real/Base/CombinedMachineAP.hs
+++ b/src/Data/Number/ER/Real/Base/CombinedMachineAP.hs
@@ -4,7 +4,7 @@
     Module      :  Data.Number.ER.Real.Base.CombinedMachineAP
     Description :  auto-switching hardware-software floats 
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Base/Float.hs b/src/Data/Number/ER/Real/Base/Float.hs
--- a/src/Data/Number/ER/Real/Base/Float.hs
+++ b/src/Data/Number/ER/Real/Base/Float.hs
@@ -3,7 +3,7 @@
     Module      :  Data.Number.ER.Real.Base
     Description :  arbitrary precision floating point numbers
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Base/MachineDouble.hs b/src/Data/Number/ER/Real/Base/MachineDouble.hs
--- a/src/Data/Number/ER/Real/Base/MachineDouble.hs
+++ b/src/Data/Number/ER/Real/Base/MachineDouble.hs
@@ -4,7 +4,7 @@
     Module      :  Data.Number.ER.Real.Base.MachineDouble
     Description :  enabling Double's as interval endpoints
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/Base/Rational.hs b/src/Data/Number/ER/Real/Base/Rational.hs
--- a/src/Data/Number/ER/Real/Base/Rational.hs
+++ b/src/Data/Number/ER/Real/Base/Rational.hs
@@ -3,7 +3,7 @@
     Module      :  Data.Number.ER.Real.Base.Rational
     Description :  rational numbers with infinities
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental
diff --git a/src/Data/Number/ER/Real/DefaultRepr.hs b/src/Data/Number/ER/Real/DefaultRepr.hs
--- a/src/Data/Number/ER/Real/DefaultRepr.hs
+++ b/src/Data/Number/ER/Real/DefaultRepr.hs
@@ -2,7 +2,7 @@
     Module      :  Data.Number.ER.Real.DefaultRepr
     Description :  concise names for default real representations
     Copyright   :  (c) Michal Konecny
-    License     :  LGPL
+    License     :  BSD3
 
     Maintainer  :  mik@konecny.aow.cz
     Stability   :  experimental