blob: aeee5b9e7ecc5433ec1f8713addaeabb055e454c (
plain)
1
2
3
4
5
6
7
8
9
10
|
(****************************************************************************)
(* *)
(* The Coq Proof Assistant *)
(* *)
(* Projet Coq *)
(* *)
(* INRIA LRI-CNRS ENS-CNRS *)
(* Rocquencourt Orsay Lyon *)
(* *)
(****************************************************************************)
|