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

compilation:

make depend
make

utilisation:

ocaml
#load "rlib.cma";;
#use "main.ml";;

(* examples:
comp assoc_idem;;
comp left_semigroup;;
comp right_semigroup;;
comp semigroup;;
comp group;;
comp integer;;
*)
