-
Nikita Zyuzin authored
Conflicts: coq/IEEE_connection.v coq/Infra/Abbrevs.v coq/Infra/ExpressionAbbrevs.v coq/Infra/Ltacs.v coq/Infra/RationalSimps.v coq/ssaPrgs.v
99aecf45
Conflicts: coq/IEEE_connection.v coq/Infra/Abbrevs.v coq/Infra/ExpressionAbbrevs.v coq/Infra/Ltacs.v coq/Infra/RationalSimps.v coq/ssaPrgs.v