COPYRIGHT 617 Bytes
Newer Older
huet's avatar
huet committed
1 2 3 4 5 6 7 8 9
(**************************************************************************)
(*                                                                        *)
(*                         The Zen/Aum Library                            *)
(*                                                                        *)
(*                              Gérard Huet                               *)
(*                                                                        *)
(* ©2005 Institut National de Recherche en Informatique et en Automatique *)
(**************************************************************************)