commit: d2df7e1dd9293efe62a7b5c158b6820ecbe545b1

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Dec 30 01:39:39 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Dec 30 01:39:39 2024 -0800
tree: 0b6c9e04aaa6a04eff0099213b872d1864974c13
parent: c6c49383ce149c07864b8306c54b8274b5f5bfd3 [diff]

refactor: rename `TheoremPattern` to `EMatchTheorem`

src/Lean/Elab/Tactic/Grind.lean[diff]
src/Lean/Meta/Tactic/Grind.lean[diff]
src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean[Renamed from src/Lean/Meta/Tactic/Grind/TheoremPatterns.lean - diff]
src/Lean/Meta/Tactic/Grind/Internalize.lean[diff]
src/Lean/Meta/Tactic/Grind/Run.lean[diff]
src/Lean/Meta/Tactic/Grind/Types.lean[diff]

6 files changed

tree: 0b6c9e04aaa6a04eff0099213b872d1864974c13

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).