)]}'
{
  "commit": "d2df7e1dd9293efe62a7b5c158b6820ecbe545b1",
  "tree": "0b6c9e04aaa6a04eff0099213b872d1864974c13",
  "parents": [
    "c6c49383ce149c07864b8306c54b8274b5f5bfd3"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 30 01:39:39 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 30 01:39:39 2024 -0800"
  },
  "message": "refactor: rename `TheoremPattern` to `EMatchTheorem`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2ceef07fc832b1a2005eda9d0ebc10cdde17cadf",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind.lean",
      "new_id": "293e06197eedf65e0377587183fc84988c5e3a12",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "4013ab8d4b37a0e8820fdc7dbadd65b5fb4e0070",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind.lean",
      "new_id": "fb945ab507d475e4aa96a49a42bc3baaa9eee34b",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind.lean"
    },
    {
      "type": "rename",
      "old_id": "5e20188461f293314cd016e06f74f90a20ccfb8a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/TheoremPatterns.lean",
      "new_id": "968293d2cd5f2fa28abc0df5cde4fcf6b33b7260",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatchTheorem.lean",
      "score": 93
    },
    {
      "type": "modify",
      "old_id": "eb3d30e2b32b01db7a6fbb799f0f5bbd943e7258",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean",
      "new_id": "42a48cc7f364ced0bd3a54641c0ed541a32219fe",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "9395b9d64d1f528a6770116e19d0190afc77de2a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Run.lean",
      "new_id": "e36c3437d813bee7ad2bfdf10a2953e4bf0270e1",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Run.lean"
    },
    {
      "type": "modify",
      "old_id": "0374264e91c5256eacf62c86f8cfe716f7918662",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "0342646871a3fca618d226d250cc52a8fd328e32",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    }
  ]
}