-
Jacques-Henri Jourdan authored
Cleanup SepLogic: move [hpure] in SepLogicSetup, define hand, hor hwand and hforall in SepLogicSetup, and avoid exporting SepLogicSetup when SepLogicTactics is already exported.
96980126
Cleanup SepLogic: move [hpure] in SepLogicSetup, define hand, hor hwand and hforall in SepLogicSetup, and avoid exporting SepLogicSetup when SepLogicTactics is already exported.