)]}'
{
  "commit": "40b8e0bc123e15d875516d4d5c3a6f8c33f61aeb",
  "tree": "a67e69a6002b852f4b293b7978eb1c3885030f9a",
  "parents": [
    "e0c6c5d226883980cfe986886681e68e9924f2bd"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Mar 25 13:47:36 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Mar 25 13:47:36 2024 -0700"
  },
  "message": "chore: rename automatically generated \"unfold\" theorems\n\nGiven a definition `foo`, they were previously called `foo._unfold`\nuntil 4.7.0. We tried to rename them to `foo.def`, but it created too\nmany issues in the Mathlib repo. We decided to rename it again to\n`foo.eq_def`. The new name is also consistent with the `eq_\u003cidx\u003e`\ntheorems generated for different \"cases\". That is, `foo.eq_def` is the\nequality theorem for the whole definition, and `foo.eq_\u003cidx\u003e` is the\nequality theorem for case `\u003cidx\u003e`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "30d5ab5c7ab261aa3314b88c042dade4de96f04b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Eqns.lean",
      "new_id": "3690db37a8bafb308dd61aa902e8aeb7f4411bd6",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "1fb4f3b5140ec2e71a21d80b997e39b8382808bf",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Structural/Eqns.lean",
      "new_id": "a7b5e59ec9d6d82ecb299e39975b7a63c5c5446d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Structural/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "09923db1470fb0a8d38ade364176abb0bd7eec81",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/WF/Eqns.lean",
      "new_id": "fbb30900e4bdc4128904de05dde3d2b9eebbb490",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/WF/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "5ac5d16e09b80ef9ced02e74b16aafa05e8a1e33",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Eqns.lean",
      "new_id": "ba9b60d8f823ae224c58eebfa648d9c704f44e0e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "ec06a943efb4c583889e7143d39c8f4f989197ed",
      "old_mode": 33188,
      "old_path": "tests/lean/run/1026.lean",
      "new_id": "658e92d483572765dd2fa6726e492d0690460012",
      "new_mode": 33188,
      "new_path": "tests/lean/run/1026.lean"
    },
    {
      "type": "modify",
      "old_id": "7fea4e10d81e04f96b72c7f4c1076d7bceb36a20",
      "old_mode": 33188,
      "old_path": "tests/lean/run/nestedWF.lean",
      "new_id": "3ef25bf8b2edc3e3f58e0d094b9dd16ffcb6aa87",
      "new_mode": 33188,
      "new_path": "tests/lean/run/nestedWF.lean"
    },
    {
      "type": "modify",
      "old_id": "9b27703466329083c147d33e218ad017de716691",
      "old_mode": 33188,
      "old_path": "tests/lean/run/reserved.lean",
      "new_id": "3c73457c2e3789bcf256a6826c7b7418b3bcf7d3",
      "new_mode": 33188,
      "new_path": "tests/lean/run/reserved.lean"
    },
    {
      "type": "modify",
      "old_id": "143722e82909099420e56b5604b58d900271fc45",
      "old_mode": 33188,
      "old_path": "tests/lean/run/splitIssue.lean",
      "new_id": "268c6884f4a6d752765fb7388b42781067fc8be3",
      "new_mode": 33188,
      "new_path": "tests/lean/run/splitIssue.lean"
    },
    {
      "type": "modify",
      "old_id": "240ec95698127b9c4a7c469b23925ffe5133ab6c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/splitList.lean",
      "new_id": "d16bd8d4e2d8708b6105feed92961b2eb6c8029e",
      "new_mode": 33188,
      "new_path": "tests/lean/run/splitList.lean"
    },
    {
      "type": "modify",
      "old_id": "f5842c62f828cc45975e443ec2eab5c1aa0a1025",
      "old_mode": 33188,
      "old_path": "tests/lean/run/structEqns.lean",
      "new_id": "21f055c11c5d32fdcce1d9c6a269c82178575707",
      "new_mode": 33188,
      "new_path": "tests/lean/run/structEqns.lean"
    },
    {
      "type": "modify",
      "old_id": "c3ace8752f54c6db2abc132d8d434deefdf98a8c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/structuralEqns.lean",
      "new_id": "16f956458035557695558ecdfb6465ba8cba8274",
      "new_mode": 33188,
      "new_path": "tests/lean/run/structuralEqns.lean"
    },
    {
      "type": "modify",
      "old_id": "83f8dd3791926677f1a868512606399b75398a95",
      "old_mode": 33188,
      "old_path": "tests/lean/run/structuralEqns2.lean",
      "new_id": "4c5db6f5d01fd5dce6910d703c5427c6beecdb93",
      "new_mode": 33188,
      "new_path": "tests/lean/run/structuralEqns2.lean"
    },
    {
      "type": "modify",
      "old_id": "09aa049b215c0d117f8ff21ca7fca5412a7266d4",
      "old_mode": 33188,
      "old_path": "tests/lean/run/structuralEqns3.lean",
      "new_id": "69486fb6c4d2c0e08f8341656070a0e32bc8bb72",
      "new_mode": 33188,
      "new_path": "tests/lean/run/structuralEqns3.lean"
    },
    {
      "type": "modify",
      "old_id": "598d1692f4f234b0e8ca5ceab18b1146199568b6",
      "old_mode": 33188,
      "old_path": "tests/lean/run/wfEqns1.lean",
      "new_id": "123b638039f17fa6a0210c3ece9d446de3058539",
      "new_mode": 33188,
      "new_path": "tests/lean/run/wfEqns1.lean"
    },
    {
      "type": "modify",
      "old_id": "c0b5dfc117c330d02a39c67e3d0121fdead6780c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/wfEqns2.lean",
      "new_id": "7df64d73cba31ea69312c3f2aad670b066788197",
      "new_mode": 33188,
      "new_path": "tests/lean/run/wfEqns2.lean"
    },
    {
      "type": "modify",
      "old_id": "b57d06aa4cab97c6d99cbb52da05b7d27932e6c8",
      "old_mode": 33188,
      "old_path": "tests/lean/run/wfEqns3.lean",
      "new_id": "dfdf6b6a87d82b027638f044aff2bf104a18312c",
      "new_mode": 33188,
      "new_path": "tests/lean/run/wfEqns3.lean"
    },
    {
      "type": "modify",
      "old_id": "7b683f879e6eeb8e74c5779711a45eb056847978",
      "old_mode": 33188,
      "old_path": "tests/lean/run/wfEqns4.lean",
      "new_id": "d91dde41fe8ec0eeabc2f3cacf11e62a7dcfa928",
      "new_mode": 33188,
      "new_path": "tests/lean/run/wfEqns4.lean"
    }
  ]
}