(******************************************************************************)
(* Copyright (C) 2000-2004, Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>     *)
(*                          Project Helm   (http://helm.cs.unibo.it)          *)
(*                          Project MoWGLI (http://mowgli.cs.unibo.it)        *)
(*                                                                            *)
(*                     Coq Exportation to XML                                 *)
(*                                                                            *)
(******************************************************************************)

This Coq module has been developed by Claudio Sacerdoti Coen
<sacerdot@cs.unibo.it> as a developer of projects HELM and MoWGLI.

Project HELM (for Hypertextual Electronic Library of Mathematics) is a
project developed at the Department of Computer Science, University of Bologna;
http://helm.cs.unibo.it

Project MoWGLI (Mathematics on the Web: Get It by Logics and Interfaces)
is a UE IST project that generalizes and extends the HELM project;
http://mowgli.cs.unibo.it

The author is interested in any possible usage of the module.
So, if you plan to use the module, please send him an e-mail.

The licensing policy applied to the module is the same as for the whole Coq
distribution.
