diff --git a/.gitignore b/.gitignore
index 849ddff..a4ee41a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,19 @@
-dist/
+dist
+dist-*
+cabal-dev
+*.o
+*.hi
+*.chi
+*.chs.h
+*.dyn_o
+*.dyn_hi
+.hpc
+.hsenv
+.cabal-sandbox/
+cabal.sandbox.config
+*.prof
+*.aux
+*.hp
+*.eventlog
+.stack-work/
+cabal.project.local
diff --git a/INSTALL b/INSTALL
index ba0e749..d92a3c2 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,6 +1,6 @@
 Installation guide:
 - Download and unpack the package file (http://www.mimuw.edu.pl/~szynwelski/nlambda/nlambda-1.0.tar.gz).
-- Move into the directory nlambda-1.0.
+- Move into the directory nlambda.
 - Perform the following commands:
     runhaskell Setup configure --user -fTOTAL_ORDER
     runhaskell Setup build
diff --git a/LICENSE b/LICENSE
new file mode 100644
index 0000000..08cc4e4
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,31 @@
+Copyright (c)2015-2016, M.Szynwelski, B.Klin
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the names of M.Szynwelski and B.Klin nor the names of
+      other contributors may be used to endorse or promote products
+      derived from this software without specific prior written
+      permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/NLambda.cabal b/NLambda.cabal
index 6141bdc..0f95365 100644
--- a/NLambda.cabal
+++ b/NLambda.cabal
@@ -1,8 +1,11 @@
 name:		   NLambda
-version:	   0.0.1
+version:	   1.0
 build-type:        Simple
 cabal-version:     >= 1.2
 author:            M.Szynwelski, B.Klin
+license:           BSD3
+license-file:      LICENSE
+copyright:         (c) 2015-2016, M.Szynwelski, B.Klin
 
 Flag TOTAL_ORDER
   description: Set atoms type with total order
@@ -44,6 +47,5 @@ Library
     Nominal.Set,
     Nominal.Type,
     Nominal.Util.InsertionSet,
-    Nominal.Util.UnionFind,
     Nominal.Variable,
     Nominal.Variants
diff --git a/documentation.sh b/documentation.sh
deleted file mode 100755
index b27808f..0000000
--- a/documentation.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-cabal haddock --hyperlink-source
-sed -i 's/file\:\/\/\/usr\/local\/haskell\/ghc\-7\.8\.3\-x86_64\/share\/doc\/ghc\/html\/libraries\/\(base\-4\.7\.0\.1\)/http:\/\/hackage.haskell.org\/package\/\1\/docs/g' dist/doc/html/NLambda/NLambda.html
-sed -i 's/file\:\/\/\/usr\/local\/haskell\/ghc\-7\.8\.3\-x86_64\/share\/doc\/ghc\/html\/libraries\/\(containers\-0\.5\.5\.1\)/http:\/\/hackage.haskell.org\/package\/\1\/docs/g' dist/doc/html/NLambda/NLambda.html
-sed -i 's/file\:\/\/\/usr\/local\/haskell\/ghc\-7\.8\.3\-x86_64\/lib\/\(mtl\-2\.1\.3\.1\)\/doc\/html/http:\/\/hackage.haskell.org\/package\/\1\/docs/g' dist/doc/html/NLambda/NLambda.html
-sed -i 's/Nominal.html/NLambda.html/g' dist/doc/html/NLambda/NLambda.html
diff --git a/src/.gitignore b/src/.gitignore
deleted file mode 100644
index 086db2f..0000000
--- a/src/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-*.o
-*.hi
-*.prof