blob: c8d231fd3c80903d1bf1daf51b3ddc995aa64dab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
(******************************************************************************)
(* 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.
|
