)]}'
{
  "commit": "965d831c31efb40f7278926d745a04b405b1d212",
  "tree": "500dc499a2f0f652a861675b047040089c77be42",
  "parents": [
    "cf23b55384ca902c70c344ab9730b648e974df85"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 16 09:54:43 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 16 10:31:40 2024 +1000"
  },
  "message": "chore: cleanup after export Bool.and/or/not/xor\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "80f43a7b39eb53f8d8ca79312e3dcceb1b003998",
      "old_mode": 33188,
      "old_path": "src/Init/Control/Basic.lean",
      "new_id": "61a73e9228c42a13ba6f3b277f23e8001523dfc8",
      "new_mode": 33188,
      "new_path": "src/Init/Control/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "ec55eb31b95ea485e135ef9006fff0fc1dbb2bf1",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "4873b07e3bc568bf67365d8d45dc3cdf285e85cb",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "6586d5ee30e6012b9a9654fb75b6047899792b94",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "b948d76a500a9e75dbcf2ca08f3d965a58ec71b2",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "151f5096297b2df9b78c975af0468d0f4c4a1693",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Bitwise/Basic.lean",
      "new_id": "5395c15ffa0fb56f8e903d2da9a4612866765397",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Bitwise/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "e0dd2395c5252d7079d7b7c0e9206597ee7dc318",
      "old_mode": 33188,
      "old_path": "src/Init/Notation.lean",
      "new_id": "33967c63995a4abb3668f924f9679f2438caad52",
      "new_mode": 33188,
      "new_path": "src/Init/Notation.lean"
    },
    {
      "type": "modify",
      "old_id": "3215352e957937fd6d31a59dd3b147aa98642dd8",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "87524cab90203fe94248aef21504ee8ce9b45e79",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    },
    {
      "type": "modify",
      "old_id": "d2ba46994acdd4ea84f5ba56f8856f76ff2639bc",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Quotation.lean",
      "new_id": "61691c007a509a80b018eabba02c21ab366939dc",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Quotation.lean"
    },
    {
      "type": "modify",
      "old_id": "031c858644f976e9ea1f72474fb2c376e54fbc78",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Basic.lean",
      "new_id": "505ca4cfffca46ad65312baf86625f411547202e",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "f7bd646615511a9299d095be6dc9cbc8f5d3f4a8",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/CollectMVars.lean",
      "new_id": "13d07a47b794605249aa9adb4e27984744a368de",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/CollectMVars.lean"
    },
    {
      "type": "modify",
      "old_id": "d24215bd9b584f48fab6adbe08237a8f2f3fe9a7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SynthInstance.lean",
      "new_id": "ab1f5e813a9d79d973b191938405d8a23bffd3f5",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SynthInstance.lean"
    },
    {
      "type": "modify",
      "old_id": "40679487b1ff384c93338bac13683614249b65fc",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Apply.lean",
      "new_id": "a292033c17e19bb94b7d57f0f96cdbf510222a74",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Apply.lean"
    },
    {
      "type": "modify",
      "old_id": "c38debd975d2dd675596156d0fd41c17b09f570d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/FunInd.lean",
      "new_id": "8cff7d5e0d411e2898afeba25c629161763c2576",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/FunInd.lean"
    },
    {
      "type": "modify",
      "old_id": "c16d55ba1dc58369ef03d77579f16189b2ab3af7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Repeat.lean",
      "new_id": "35f7d33ddebf2ee1fa16dc747d67fc95a7edd1e5",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Repeat.lean"
    },
    {
      "type": "modify",
      "old_id": "64703c845fa69879756fbc709e407fe67276e050",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Rewrite.lean",
      "new_id": "16e9ed754694ffd3a601b3c8d4e13113c5e02e56",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Rewrite.lean"
    },
    {
      "type": "modify",
      "old_id": "c60c75ad1c5919f162859add8d790c4c48c7332e",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean",
      "new_id": "cb915a4c5b240698ad0767e6ac8e3b3f8f89fb1b",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean"
    },
    {
      "type": "modify",
      "old_id": "59552b2763ef253ca6c863e94918b44c22b90479",
      "old_mode": 33188,
      "old_path": "src/Std/Sat/AIG/Basic.lean",
      "new_id": "2cdcbb2d9747050af2c45051fb69daa4d52b4095",
      "new_mode": 33188,
      "new_path": "src/Std/Sat/AIG/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "862c5c59e57c921e0c2e5f296e5e7dbbf297d7f0",
      "old_mode": 33188,
      "old_path": "src/Std/Sat/AIG/CNF.lean",
      "new_id": "680622a5c00ef796c1555b22e8fdd7d78f42a9af",
      "new_mode": 33188,
      "new_path": "src/Std/Sat/AIG/CNF.lean"
    },
    {
      "type": "modify",
      "old_id": "6d68aaf92b75d7b87b575912cfc67e10dcd4a4e1",
      "old_mode": 33188,
      "old_path": "src/Std/Sat/AIG/CachedGatesLemmas.lean",
      "new_id": "c055b864d6578c88843d9b87b3f39669b20cb60f",
      "new_mode": 33188,
      "new_path": "src/Std/Sat/AIG/CachedGatesLemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "9289120f35aab498c864ab705bd03b024586a32a",
      "old_mode": 33188,
      "old_path": "src/Std/Sat/AIG/Lemmas.lean",
      "new_id": "85d81f4642cc2f9f824e8b6c947f22cfff4eba8b",
      "new_mode": 33188,
      "new_path": "src/Std/Sat/AIG/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "dd6c9d1bc95f4e8daa12fa953e72672d1677a62c",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Add.lean",
      "new_id": "3df9a63e059eec5428e320b2be2e5c323df96db9",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/Bitblast/BVExpr/Circuit/Lemmas/Operations/Add.lean"
    },
    {
      "type": "modify",
      "old_id": "e3eba752cc66b9fd37ab09400f5a17d0b95b3dbe",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/Normalize/Bool.lean",
      "new_id": "6956d84b3923d39c6dd098fe32dd1a3111b42a27",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/Normalize/Bool.lean"
    },
    {
      "type": "modify",
      "old_id": "194e12dd1ea709a44d24b2a5fb95bff979503aa6",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/Reflect.lean",
      "new_id": "685cf5a722340a056b5285e23260d2a59e5cdb44",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/Reflect.lean"
    },
    {
      "type": "modify",
      "old_id": "e76ef20919dad0cd46fef913107f84f4bef74f1b",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Util/Git.lean",
      "new_id": "77cce247bfffe814f033fa1315a656d771dc531e",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Util/Git.lean"
    }
  ]
}