Codebase list coq / upstream/8.9.1 dev / header.c
upstream/8.9.1

Tree @upstream/8.9.1 (Download .tar.gz)

header.c @upstream/8.9.1 — raw · history · blame 

1
2
3
4
5
6
7
8
9
/************************************************************************/
/*         *   The Coq Proof Assistant / The Coq Development Team       */
/*  v      *   INRIA, CNRS and contributors - Copyright 1999-2018       */
/* <O___,, *       (see CREDITS file for the list of authors)           */
/*   \VV/  **************************************************************/
/*    //   *    This file is distributed under the terms of the         */
/*         *     GNU Lesser General Public License Version 2.1          */
/*         *     (see LICENSE file for the text of the license)         */
/************************************************************************/