Symbolix Caml-CAS ================= Version 0.0.3 Alpha Build 317 Copyright © 2008 - 2009 Hermès BÉLUSCA - MAÏTO , Lycée Pierre De Fermat. All rights reserved. The Caml Light system is copyright : 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997 Institut National de Recherche en Informatique et en Automatique (INRIA). INRIA holds all ownership rights to the Caml Light system.