header 331 Bytes
Newer Older
1 2 3

Menhir

POTTIER Francois's avatar
POTTIER Francois committed
4
Franois Pottier, INRIA Paris-Rocquencourt
5 6
Yann Rgis-Gianas, PPS, Universit Paris Diderot

POTTIER Francois's avatar
POTTIER Francois committed
7
Copyright 2005-2015 Institut National de Recherche en Informatique
8 9 10 11
et en Automatique. All rights reserved. This file is distributed
under the terms of the Q Public License version 1.0, with the change
described in file LICENSE.