header 334 Bytes
Newer Older
1 2 3

Menhir

4 5
François Pottier, INRIA Paris-Rocquencourt
Yann Régis-Gianas, PPS, Université Paris Diderot
6

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.