(*************************************************************************** * Bundles of Modules for Developments in Programming Language Metatheory * * Brian Aydemir & Arthur Charguéraud, July 2007, Coq v8.1 * ***************************************************************************) Require Export Lib_Tactic Lib_FinSet. Require Export Metatheory_Var. Require Export Metatheory_Fresh. Require Export Metatheory_Env. Export Env. Open Scope set_scope. Open Scope env_scope.