1
(************************************************************************)
2
(* v * The Coq Proof Assistant / The Coq Development Team *)
3
(* <O___,, * CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud *)
4
(* \VV/ **************************************************************)
5
(* // * This file is distributed under the terms of the *)
6
(* * GNU Lesser General Public License Version 2.1 *)
7
(************************************************************************)
8
(* $Id: Program.v 11709 2008-12-20 11:42:15Z msozeau $ *)
10
Require Export Coq.Program.Utils.
11
Require Export Coq.Program.Wf.
12
Require Export Coq.Program.Equality.
13
Require Export Coq.Program.Subset.
14
Require Export Coq.Program.Basics.
15
Require Export Coq.Program.Combinators.
16
Require Export Coq.Program.Syntax.
b'\\ No newline at end of file'