Commit 2022-08-01 09:31 7da24c40

View on Github →

chore: bump to 2022-07-31 (#359)

Estimated changes

Modified Mathlib/Init/Set.lean

Modified Mathlib/Tactic/Basic.lean

Modified Mathlib/Tactic/Cases.lean

Modified Mathlib/Tactic/Constructor.lean

Modified Mathlib/Tactic/Ext.lean

Modified Mathlib/Tactic/Have.lean

modified def Mathlib.Tactic.haveLetCore

Modified Mathlib/Tactic/InferParam.lean

Modified Mathlib/Tactic/Inhabit.lean

modified def Lean.Elab.Tactic.evalInhabit

Modified Mathlib/Tactic/LeftRight.lean

modified def Mathlib.Tactic.LeftRight.leftRightMeta

Modified Mathlib/Tactic/LibrarySearch.lean

modified def Tactic.LibrarySearch.librarySearch

Modified Mathlib/Tactic/NormCast/Tactic.lean

Modified Mathlib/Tactic/RCases.lean

modified def Lean.Meta.RCases.generalizeExceptFVar

modified def Lean.Meta.RCases.subst'

modified def Lean.Meta.RCases.tryClearMany'

Modified Mathlib/Tactic/Replace.lean

Modified Mathlib/Tactic/Ring.lean

modified def Tactic.Ring.RingM.run

Modified Mathlib/Tactic/SeqFocus.lean

Modified Mathlib/Tactic/Set.lean

Modified Mathlib/Tactic/SolveByElim.lean

Modified Mathlib/Util/Tactic.lean

Modified lean-toolchain