######################################################################
#                                                                    #
#                           Moca                                     #
#                                                                    #
#          Pierre Weis, INRIA Rocquencourt                           #
#          Frdric 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.4 2008-04-15 07:27:29 blanqui Exp $ *)

* Frdric Blanqui and Pierre Weis: general infrastructure and code writing.
* Richard Bonichon:
  - vary-adic construction function rewriting,
  - pretty-print, documentation and makefile trickery.
* Laura Lowenthal:
  - automatic test generation for moca specifications,
  - vary-adic debugging and enhancing.
