Empty types not in Prop and empty types elimination handled correctly.

[helm.git] / matita / LICENSE

diff --git a/matita/LICENSE b/matita/LICENSE
index 7665cd2ce998df62d02c023406a729c9e23d9109..9e2c40cfed8b2d4727cff5f46307e0bb995ea061 100644 (file)
--- a/matita/LICENSE
+++ b/matita/LICENSE
@@ -1,4 +1,4 @@
-Copyright (C) 2000-2005, HELM Team.
+Copyright (C) 2000-2006, HELM Team.

 
 Matita is part of HELM, an Hypertextual, Electronic
 Library of Mathematics, developed at the Computer Science
 
 Matita is part of HELM, an Hypertextual, Electronic
 Library of Mathematics, developed at the Computer Science


@@ -16,8 +16,9 @@ GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
 along with HELM; if not, write to the Free Software
 
 You should have received a copy of the GNU General Public License
 along with HELM; if not, write to the Free Software

-Foundation, Inc., 59 Temple Place - Suite 330, Boston,
-MA  02111-1307, USA.
+Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
+02110-1301  USA

 
 For details, see the HELM World-Wide-Web page,
 http://helm.cs.unibo.it/
 
 For details, see the HELM World-Wide-Web page,
 http://helm.cs.unibo.it/

+