This package was debianized by Enrico Tassi <gareuselesinge@debian.org>
Wed Oct 17 17:48:32 CEST 2007.

It was downloaded from http://matita.cs.unibo.it.

Copyright © 2000-2007 The Matita Team.
The software is released under the terms of the GNU/GPL license.
See /usr/share/common-licenses/GPL-2

File components/extlib/trie.ml:
Copyright (C) 2000 Jean-Christophe FILLIATRE
Released under LGPL version 2
See /usr/share/common-licenses/LGPL-2

File components/syntax_extensions/data/dictionary-tex.xml:
Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
                   2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
Released under LGPL version 2.1
See /usr/share/common-licenses/LGPL-2.1

All .ma files are released under LGPL version 2.1
See /usr/share/common-licenses/LGPL-2.1

Files components/tactics/setoids.ml, components/tactics/setoids.mli and 
components/tactics/fourier.ml are part of The Coq Proof Assistant
Copyright (C) The Coq Development Team 
Released under LGPL version 2.1
See /usr/share/common-licenses/LGPL-2.1

