-
Robbert Krebbers authored
- Export `total_weakestpre` in `lifting` already, like we do for `weakestpre`. - Do not export modules that are already exported by exported modules.
9a81a9a9
- Export `total_weakestpre` in `lifting` already, like we do for `weakestpre`. - Do not export modules that are already exported by exported modules.