Software Distribution: Meije Tools

                                        Copyright 1991-1995 INRIA

The software subject to this license is distributed by INRIA, free of charges for all research/education institutions.

This includes only private use of the software for research and/or education use, and excludes commercial use and redistribution of the software.

--------------------------------------------

Verification Tools (All versions, up to v2-6*):
        AUTO, AUTOGRAPH, MAUTO, ECRINS, HOGGAR, 
                                TKMEIJE, TKMAUTO 


Owner: INRIA

Administrative Contact: Mme Boissonat
	 INRIA
	 Route des Lucioles
	 Sophia Antipolis
	 F-06560 VALBONNE
Tel: (+33) 93.65.77.11
Fax: (+33) 93.65.77.67

Technical Informations, and requests for licenses:
------------------------------------------------------------
Eric Madelaine                tel: (+33) 93657807
INRIA Sophia-Antipolis        secr:(+33) 93657825
Route des lucioles            fax: (+33) 93657766
06560 VALBONNE  FRANCE	      email: Eric.Madelaine@sophia.inria.fr
------------------------------------------------------------