From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA21842 for caml-redistribution; Mon, 18 Nov 1996 11:07:36 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA04514 for <caml-list@pauillac.inria.fr>; Fri, 15 Nov 1996 18:11:30 +0100 (MET)
Received: from ibp.ibp.fr (ibp.ibp.fr [132.227.60.30]) by nez-perce.inria.fr (8.7.6/8.7.1) with ESMTP id SAA22155 for <caml-list@inria.fr>; Fri, 15 Nov 1996 18:11:28 +0100 (MET)
Received: from litp.ibp.fr (litp.ibp.fr [132.227.81.1])
	by ibp.ibp.fr (8.6.12/jtpda-5.0) with ESMTP id SAA00838
	for <caml-list@inria.fr>; Fri, 15 Nov 1996 18:11:12 +0100
Received: (from prieur@localhost) by litp.ibp.fr (8.6.10/8.6.10) id SAA15875; Fri, 15 Nov 1996 18:11:40 +0100
Date: Fri, 15 Nov 1996 18:11:40 +0100
Message-Id: <199611151711.SAA15875@litp.ibp.fr>
From: prieur@litp.ibp.fr (Christophe PRIEUR [Choffrut])
To: caml-list@inria.fr
Subject: automates
Sender: weis



	Si j'en crois le manuel de référence de caml, il n'existe pas de
  bibliothèques de types et fonctions de manipulation des automates.  Mais
  peut-être quelqu'un a-t-il déjà écrit ce genre de choses pour son propre
  compte, et ce serait idiot de tout refaire.  Donc si c'était le cas,
  merci de me le signaler.

		Christophe Prieur.