-R LibHyps LibHyps

LibHyps/LibHypsNaming.v
LibHyps/LibHypsTactics.v
LibHyps/LibDecomp.v
LibHyps/TacNewHyps.v
LibHyps/LibHyps.v
