(****************************************************************************)
(*                                                                          *)
(*                The formal system \lambda\delta                           *)
(*                                                                          *)
(*                Author: Ferruccio Guidi                                   *)
(*                                                                          *)
(*                This file is distributed under the terms of the           *)
(*                GNU General Public License Version 2                      *)
(*                                                                          *)
(****************************************************************************)

Require Export bg_require.
Require Export bg_tactics.
Require Export bg_subst.
Require Export bg_types.
Require Export bg_props.
Require Export bg_hints.
Require Export bg_blt.
Require Export bg_plist.
Require Export bg_rewrite.