Commit 2022-07-31 21:11 f6714df2

View on Github →

chore: update to nightly-2022-07-28 (#357) Changed all names related to leanprover/lean4#1346 that I could find.

leanprover/lean4#1375

Estimated changes

Modified Mathlib/Init/ExtendedBinder.lean

Modified Mathlib/Lean/NameMapAttribute.lean

Modified Mathlib/Tactic/Basic.lean

Modified Mathlib/Tactic/Cases.lean

Modified Mathlib/Tactic/Clear!.lean

Modified Mathlib/Tactic/ClearExcept.lean

Modified Mathlib/Tactic/Clear_.lean

Modified Mathlib/Tactic/Constructor.lean

Modified Mathlib/Tactic/Ext.lean

Modified Mathlib/Tactic/Have.lean

Modified Mathlib/Tactic/HaveI.lean

Modified Mathlib/Tactic/InferParam.lean

Modified Mathlib/Tactic/Inhabit.lean

Modified Mathlib/Tactic/LeftRight.lean

Modified Mathlib/Tactic/LibrarySearch.lean

Modified Mathlib/Tactic/NormCast/CoeExt.lean

Modified Mathlib/Tactic/NormCast/Tactic.lean

Modified Mathlib/Tactic/NormNum.lean

Modified Mathlib/Tactic/RCases.lean

Modified Mathlib/Tactic/Rename.lean

Modified Mathlib/Tactic/Replace.lean

Modified Mathlib/Tactic/Ring.lean

Modified Mathlib/Tactic/SeqFocus.lean

Modified Mathlib/Tactic/Set.lean

Modified Mathlib/Tactic/SolveByElim.lean

Modified Mathlib/Testing/SlimCheck/Testable.lean

Modified Mathlib/Util/Simp.lean

Modified Mathlib/Util/Tactic.lean

Modified lean-toolchain

Modified test/toAdditive.lean

modified def Test.foo_mul