lgpl-header 353 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11

Menhir

Franois Pottier, INRIA Rocquencourt
Yann Rgis-Gianas, PPS, Universit Paris Diderot

Copyright 2005-2008 Institut National de Recherche en Informatique
et en Automatique. All rights reserved. This file is distributed
under the terms of the GNU Library General Public License, with the
special exception on linking described in file LICENSE.