######################################################################
#                                                                    #
#                           Moca                                     #
#                                                                    #
#          Pierre Weis, INRIA Rocquencourt                           #
#          Frédéric Blanqui, projet Protheo, INRIA Lorraine          #
#                                                                    #
#  Copyright 2005-2007,                                              #
#  Institut National de Recherche en Informatique et en Automatique. #
#  All rights reserved.                                              #
#                                                                    #
#  This file is distributed under the terms of the Q Public License. #
#                                                                    #
######################################################################

#(* $Id: AUTHORS,v 1.3 2008/02/12 21:12:15 weis Exp $ *)

* Frédéric Blanqui and Pierre Weis: general infrastructure and code writing.
* Richard Bonichon:
  - vary-adic construction function rewritting,
  - pretty-print, documentation and makefile trickery.
* Laura Lowenthal:
  - automatic test generation for moca specifications,
  - vary-adic debugging and enhencing.