)]}' { "commit": "53dda47fda824846889eaaad66079185a3c2cfec", "tree": "b03b4610e2dec41967d2f5114a2dafbd1e740655", "parents": [ "5ce20ba160c070875230197f6d2284b36052b9d5" ], "author": { "name": "Henrik Böving", "email": "hargonix@gmail.com", "time": "Fri Feb 16 23:26:26 2024 +0100" }, "committer": { "name": "Leonardo de Moura", "email": "leomoura@amazon.com", "time": "Sun Feb 18 14:46:39 2024 -0800" }, "message": "perf: add prelude to all Lean modules\n", "tree_diff": [ { "type": "modify", "old_id": "fbf20ad5451ef326b326983fb82b069435468ee0", "old_mode": 33188, "old_path": "src/Lean/Attributes.lean", "new_id": "85a7cc5d128825376cca106a221543fa8c300f2f", "new_mode": 33188, "new_path": "src/Lean/Attributes.lean" }, { "type": "modify", "old_id": "8e7dbd4ff154449b87336da90b1ffb0c4fe060dd", "old_mode": 33188, "old_path": "src/Lean/AuxRecursor.lean", "new_id": "300a72f62accb15778f326287ec7d7fbf24baed5", "new_mode": 33188, "new_path": "src/Lean/AuxRecursor.lean" }, { "type": "modify", "old_id": "3d02fefc249f9889989eca54ab2a1607a61660de", "old_mode": 33188, "old_path": "src/Lean/Class.lean", "new_id": "f26c478fbd962936d661902d2c7b4c47d85e62c5", "new_mode": 33188, "new_path": "src/Lean/Class.lean" }, { "type": "modify", "old_id": "55b38b3efd7734fd339c8c511807982c2a43879e", "old_mode": 33188, "old_path": "src/Lean/Compiler.lean", "new_id": "e80bc9e7c58f72f178e1cfe30e67ad0044879fe0", "new_mode": 33188, "new_path": "src/Lean/Compiler.lean" }, { "type": "modify", "old_id": "10457749f70325fde443c1b45e97173a6325ad67", "old_mode": 33188, "old_path": "src/Lean/Compiler/AtMostOnce.lean", "new_id": "0822d79f04ee6adea85833f4f5674e29bb6a04fe", "new_mode": 33188, "new_path": "src/Lean/Compiler/AtMostOnce.lean" }, { "type": "modify", "old_id": "4800e18125a10792ed31e51ab99d2d16f86ae7f5", "old_mode": 33188, "old_path": "src/Lean/Compiler/BorrowedAnnotation.lean", "new_id": "3fc71e4bea9b63496ebc0da16a296100abf5b6b1", "new_mode": 33188, "new_path": "src/Lean/Compiler/BorrowedAnnotation.lean" }, { "type": "modify", "old_id": "1f15f55129be862d1ba76171f5101c5cc2fd45a6", "old_mode": 33188, "old_path": "src/Lean/Compiler/CSimpAttr.lean", "new_id": "1fad0e367b4dbeabd3b5fb3dd3d84594d1a770ff", "new_mode": 33188, "new_path": "src/Lean/Compiler/CSimpAttr.lean" }, { "type": "modify", "old_id": "69f5b9b30271f5186ddb4afcfdbb74f668d2fda0", "old_mode": 33188, "old_path": "src/Lean/Compiler/ClosedTermCache.lean", "new_id": "3456bf46d113bb147240bda789b9bf9b940d508d", "new_mode": 33188, "new_path": "src/Lean/Compiler/ClosedTermCache.lean" }, { "type": "modify", "old_id": "a044cdab6d629bf97f7c51e799ba73d2b5e69176", "old_mode": 33188, "old_path": "src/Lean/Compiler/ConstFolding.lean", "new_id": "34b7e6cf6d5eb09cc0c9083ba6eece66cc1a066a", "new_mode": 33188, "new_path": "src/Lean/Compiler/ConstFolding.lean" }, { "type": "modify", "old_id": "aa14b0b48730fef470560a24ae08904216702da9", "old_mode": 33188, "old_path": "src/Lean/Compiler/ExportAttr.lean", "new_id": "2fafe73c2e8da4a53b1428fb2deb732c7ceaa615", "new_mode": 33188, "new_path": "src/Lean/Compiler/ExportAttr.lean" }, { "type": "modify", "old_id": "cc563ba458353f6f9378fa0ab2cf0b765fb2a305", "old_mode": 33188, "old_path": "src/Lean/Compiler/ExternAttr.lean", "new_id": "9ce1addc61031a1d3c3dcb7d963b17906d63696b", "new_mode": 33188, "new_path": "src/Lean/Compiler/ExternAttr.lean" }, { "type": "modify", "old_id": "f0480df81f70389062b60cf1bf1ba4cdf4fa6a27", "old_mode": 33188, "old_path": "src/Lean/Compiler/FFI.lean", "new_id": "4c63777cecd26109e84b7ca935998a92efae1c8a", "new_mode": 33188, "new_path": "src/Lean/Compiler/FFI.lean" }, { "type": "modify", "old_id": "9fa99393158b03b7041fd348e15f88a71b0d8584", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR.lean", "new_id": "0f8dd3005e78f735366b465ae14a5852da980d7d", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR.lean" }, { "type": "modify", "old_id": "a9a84268ada9bcc79738ed046d6e6cb95253ab92", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/Basic.lean", "new_id": "706908fa92a78f8d7f2b0ea55f3473ce89314dcb", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/Basic.lean" }, { "type": "modify", "old_id": "d5500fc3bd167364b498002aea8bcdefd26e4ffe", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/Borrow.lean", "new_id": "e7def8dd01cb73d1ab9d4a5c9fb97fdf055237a9", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/Borrow.lean" }, { "type": "modify", "old_id": "75dc80277cc303e4d8036a1c4590f656e1da8c79", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/Boxing.lean", "new_id": "7deaf97cdf3aa94e577d428463742bd2df9819e6", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/Boxing.lean" }, { "type": "modify", "old_id": "36b3c7254acac6f760499408922668d206008f1b", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/Checker.lean", "new_id": "c4e7257e1647a0d627bafb5af7281bb1903f6f61", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/Checker.lean" }, { "type": "modify", "old_id": "b104dbec08c2810eaee1a7922298118d47018520", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/CompilerM.lean", "new_id": "af2b32871675f1d4d42c320fa1178534b96e916e", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/CompilerM.lean" }, { "type": "modify", "old_id": "94c9d2ed6eedc38e0a47a23c0b5edebd502607a3", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/CtorLayout.lean", "new_id": "0b94b8516a1cd9312be94fe876126cb9a781ce96", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/CtorLayout.lean" }, { "type": "modify", "old_id": "60f08ce73159f5c9271b12de7db67b95a4798ddd", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/ElimDeadBranches.lean", "new_id": "22000f74e346d98984b7dac9999b83e4a000001a", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/ElimDeadBranches.lean" }, { "type": "modify", "old_id": "fe4b421fbeca516325e34a249024e17b7a84d80a", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/ElimDeadVars.lean", "new_id": "da02b23dd8fa602ce0ecf8445021efd424de72fa", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/ElimDeadVars.lean" }, { "type": "modify", "old_id": "2e2dc1f69a33d8ad9f32b3638a7d2b1f9d8b2b63", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/EmitC.lean", "new_id": "3aa0a1ade276032636fe794f619bec89d2068746", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/EmitC.lean" }, { "type": "modify", "old_id": "515b6fe3fa7d3540d94ab309fdf07c6d32fb0a8b", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/EmitLLVM.lean", "new_id": "bdf6f5abb1044656511eda06d545db191900f521", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/EmitLLVM.lean" }, { "type": "modify", "old_id": "e5d0b1087c6a9543360f06bd85d9c9b73c98bb4f", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/EmitUtil.lean", "new_id": "d3863827b8470506b66b671596b47f09e88ddc83", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/EmitUtil.lean" }, { "type": "modify", "old_id": "7352601f6e5ce167d842e5bc08767362bbb2eef5", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/ExpandResetReuse.lean", "new_id": "f247b3edcc6d0bfbcb99e7b2d005c3a9fa2c8d5a", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/ExpandResetReuse.lean" }, { "type": "modify", "old_id": "39f97980818a12dae1105edb22ea7fdc92cb5481", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/Format.lean", "new_id": "80a44c145fee30eeb721c6f6dd0697fe34f7b0ec", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/Format.lean" }, { "type": "modify", "old_id": "1d14df4b1796892451fa40215ad0799e3b37addc", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/FreeVars.lean", "new_id": "c969f68481fd99619f52d51250f08422c275566a", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/FreeVars.lean" }, { "type": "modify", "old_id": "d80c3e99224709a210161cecaeb53b147ffd5861", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/LLVMBindings.lean", "new_id": "b58aa02818dddf96680af1cf1d0422db9820f86f", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/LLVMBindings.lean" }, { "type": "modify", "old_id": "e4c707943b5350315e6291ac4920396d3d9686d1", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/LiveVars.lean", "new_id": "fbb6cfc80d6504897991a1ca41a5b16d2ce7c4a2", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/LiveVars.lean" }, { "type": "modify", "old_id": "624e34982b69fe443ca0f7b21da971059364e38a", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/NormIds.lean", "new_id": "32997d302ba270100712d6c2a44344a2bd6cb6a2", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/NormIds.lean" }, { "type": "modify", "old_id": "63f73393f0cf1a6d16e71bd37fce05ac862f1218", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/PushProj.lean", "new_id": "04d7f026715be01e60cd7cca5bcecb059ce97e68", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/PushProj.lean" }, { "type": "modify", "old_id": "557a72de79c92d8f40fd9376cf1337d851a859cb", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/RC.lean", "new_id": "32e223c2a289b49c7331f5669bfad91bd925299d", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/RC.lean" }, { "type": "modify", "old_id": "a358f3afcc5eb6d56d1fc218027ff1079eb65207", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/ResetReuse.lean", "new_id": "3f85e2ad1569905a9d9d8eba6f8a2999a0e1c411", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/ResetReuse.lean" }, { "type": "modify", "old_id": "17b13f41ce6d04b283af1268d40e99155a7ae722", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/SimpCase.lean", "new_id": "c293de19dba19cbec9f4513549c7c4fea871bccc", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/SimpCase.lean" }, { "type": "modify", "old_id": "8417dc145b2c31d066f8c0ce7e27ee0ea6dd2a8f", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/Sorry.lean", "new_id": "87ad1214bc5cb0eef8308cadab0719a14209c566", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/Sorry.lean" }, { "type": "modify", "old_id": "e6c87338d0a891dd3ef306bebf15c3db2dee58d6", "old_mode": 33188, "old_path": "src/Lean/Compiler/IR/UnboxResult.lean", "new_id": "366eab229f837ecb44bf82f454a1d2b21f25a1e5", "new_mode": 33188, "new_path": "src/Lean/Compiler/IR/UnboxResult.lean" }, { "type": "modify", "old_id": "f9179ee525ec3b2cc057617df6512de2e41aa586", "old_mode": 33188, "old_path": "src/Lean/Compiler/ImplementedByAttr.lean", "new_id": "70f00fc2513eee776ac909c1ce316e7f898a4ce1", "new_mode": 33188, "new_path": "src/Lean/Compiler/ImplementedByAttr.lean" }, { "type": "modify", "old_id": "7d08fb6a019a448ec58d3046fb878f4bb7e2b2ba", "old_mode": 33188, "old_path": "src/Lean/Compiler/InitAttr.lean", "new_id": "4e9dc2455ebab16f2b64b9e8696c2b7bc0362267", "new_mode": 33188, "new_path": "src/Lean/Compiler/InitAttr.lean" }, { "type": "modify", "old_id": "79a84bf694b306fe109cac5cadea8d265392de18", "old_mode": 33188, "old_path": "src/Lean/Compiler/InlineAttrs.lean", "new_id": "64bfa03fe6dfb18853d7c0bf41fe9534446ad702", "new_mode": 33188, "new_path": "src/Lean/Compiler/InlineAttrs.lean" }, { "type": "modify", "old_id": "b3341af3898630382d1aadbc63e8945fde8f4c3d", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF.lean", "new_id": "7ff6b1d3f0458c6f955d4c083832d205a9fda7f8", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF.lean" }, { "type": "modify", "old_id": "deb476b3d2867f15d1b2b116afa13b2b34f56764", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/AlphaEqv.lean", "new_id": "73e2d67150c589d00d7134a34cbe130a1ac1bdd8", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/AlphaEqv.lean" }, { "type": "modify", "old_id": "8060bff9569f84a47c52daff1402998ee34cc693", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/AuxDeclCache.lean", "new_id": "c45e3b8badb324ad435f1e93788871eb49bb5a22", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/AuxDeclCache.lean" }, { "type": "modify", "old_id": "662b98853d9fa0e691f3244bcc14359847aacf69", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/BaseTypes.lean", "new_id": "afe90bf39c32c02b1f7fd117df0ea03e7eda1028", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/BaseTypes.lean" }, { "type": "modify", "old_id": "a0c6a21224c2aaf963e9c1ed025ad179dca4a6a7", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Basic.lean", "new_id": "1b56c163ba69ac6d6a5e7611dc2534ab5a9a631d", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Basic.lean" }, { "type": "modify", "old_id": "c4a9d425edd4528578ae7614fc9d364677bd6311", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Bind.lean", "new_id": "8ff6a6174eb27a8244c433b2d515d883794c1cb4", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Bind.lean" }, { "type": "modify", "old_id": "25c7d97a6e95a5c5ff771fb171f413d94c193578", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/CSE.lean", "new_id": "4d6868424f87fe79aeb4e37b1abed0bf3e1920a4", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/CSE.lean" }, { "type": "modify", "old_id": "677748dcddd0175c440e67726680d461ca8cab27", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Check.lean", "new_id": "a1b75c1f98994561ebc746f0190f6d9a9705d838", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Check.lean" }, { "type": "modify", "old_id": "450e4ef1820e619bed7ad661a7baeea0c8776ffe", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Closure.lean", "new_id": "9e544bd7eddfc619b9e8305fc51aac37a709455c", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Closure.lean" }, { "type": "modify", "old_id": "5ec1bb005dc7ed616a7b99acaee0f0f691211f71", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/CompatibleTypes.lean", "new_id": "824652b59f4d23dad0bbdabb53b84dfa2a75a2a6", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/CompatibleTypes.lean" }, { "type": "modify", "old_id": "5e261a4c7f78eadf2ed31dad200842e216c18d85", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/CompilerM.lean", "new_id": "a67fe9017c2415203c43c15b1ed62b749f03b999", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/CompilerM.lean" }, { "type": "modify", "old_id": "c478c03e78036f2e9bfca92e8531e16d605a3e88", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ConfigOptions.lean", "new_id": "52229170644bfc7d338383f2fd3b17ed20882ff8", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ConfigOptions.lean" }, { "type": "modify", "old_id": "b6e0f20d5f4aca992a08f138b65a64ce82f21764", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/DeclHash.lean", "new_id": "8b96efac819ebb327fb26507ed39dc4f9efd6bc5", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/DeclHash.lean" }, { "type": "modify", "old_id": "8eb7fb69890933119145ee199f3b014f643969a3", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/DependsOn.lean", "new_id": "95d0836ec42e6d5e48ae8f76592fc91597a63551", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/DependsOn.lean" }, { "type": "modify", "old_id": "28bdae95bf5886b2d6b441557582cc9dc088d678", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ElimDead.lean", "new_id": "90d8549a0924dfef0252fa4e6f4ad0363ce528a1", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ElimDead.lean" }, { "type": "modify", "old_id": "fc15d5935250e564a47c24b689aa492f36d79ef1", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ElimDeadBranches.lean", "new_id": "323ac0e52875c8ac6e7a1c3e8609cbdb143ea284", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ElimDeadBranches.lean" }, { "type": "modify", "old_id": "0f9f170794a2d35586a062aacd847edb5d4e0cfe", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/FVarUtil.lean", "new_id": "a2e955ab8d01460a55ee4a4d29dcc2a0826d444a", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/FVarUtil.lean" }, { "type": "modify", "old_id": "34ab6677b68e3ff03d75146a369dfd0af20e9cf4", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/FixedParams.lean", "new_id": "4e532e5b4f1747e3272d3a4111edca9c70208947", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/FixedParams.lean" }, { "type": "modify", "old_id": "174a9d47762c96dd1531b7567e8bab61f2bc86ad", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/FloatLetIn.lean", "new_id": "b231081e6743c8663e4f48d4b9c58d7c74543184", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/FloatLetIn.lean" }, { "type": "modify", "old_id": "79da9c1247d717bfd3fb54dac39829077e284d34", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ForEachExpr.lean", "new_id": "f40542565c21fa17dc8c8b51f2c63d529eb4f11b", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ForEachExpr.lean" }, { "type": "modify", "old_id": "bbdf72ce129691945b9235a6925f2584456b5b77", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/InferType.lean", "new_id": "cc278044006e4cc7efa89597138a49650d3201b6", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/InferType.lean" }, { "type": "modify", "old_id": "6c41cadcb4e6e0629eb014651a15296a2edcc402", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Internalize.lean", "new_id": "79e616898ec2101849d935e253a5305bad028e76", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Internalize.lean" }, { "type": "modify", "old_id": "09dfdf2341eb2a5760a48d7441e47221b7ea90a2", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/JoinPoints.lean", "new_id": "3695a6d1f1665be5f872e50c0739ee142cbd8db5", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/JoinPoints.lean" }, { "type": "modify", "old_id": "ba50bf037d5d0f2b5585573b8b04c0303cb295f7", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/LCtx.lean", "new_id": "ed8b7037f670faa3c1f43b01d5ac1381fa75c876", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/LCtx.lean" }, { "type": "modify", "old_id": "f75dbd88075e11b317e9da0778957bb2fe8a5bdc", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/LambdaLifting.lean", "new_id": "98e267c730246547bff4a299dc81f554397e51b5", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/LambdaLifting.lean" }, { "type": "modify", "old_id": "4275ce9af04a263dbef059f4ce49a420f1b3574e", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Level.lean", "new_id": "07c0ed26e7a1ce281bec0e202f676eb7d52c4334", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Level.lean" }, { "type": "modify", "old_id": "ed7578898d4a0b690388d3546444fcf0ecde1c56", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Main.lean", "new_id": "5222988ade1f495b8dbed32d41c643f1fa9739e7", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Main.lean" }, { "type": "modify", "old_id": "b157cdeb9f806bc638a6018e18890a6435bfbee4", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/MonadScope.lean", "new_id": "752db34daf138545f0cea28ec2cee5a0814fcb45", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/MonadScope.lean" }, { "type": "modify", "old_id": "0d90433ac41c1726e2bc7830da64f2fde3fdd3c0", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/MonoTypes.lean", "new_id": "4f609b3f9b0cd81ff8670a55b82b70e0d59cd561", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/MonoTypes.lean" }, { "type": "modify", "old_id": "560ed28834aeb5a96a53671c940aede6b9c5d578", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/OtherDecl.lean", "new_id": "f7db48914af9d701f8c5ea50ffdc36896923c062", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/OtherDecl.lean" }, { "type": "modify", "old_id": "66d1d596f47494cd644954a5b3abd2a40d7d5c3a", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/PassManager.lean", "new_id": "86829c2ce091bc3ea58a2df864b90411283ccc78", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/PassManager.lean" }, { "type": "modify", "old_id": "b4742a6856b0ff2845f0f4e5c88156154bbde306", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Passes.lean", "new_id": "1356a0a4b4a1f0234c5784b80b164351c670f13a", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Passes.lean" }, { "type": "modify", "old_id": "6b532c80364cd2b62795fb781c4598fa8e6b2bd2", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/PhaseExt.lean", "new_id": "2ea9e32b77bed00260908ce8c573b60ca8e1997f", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/PhaseExt.lean" }, { "type": "modify", "old_id": "38688001a61f17ea20734182cdbb3c4a82221a57", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/PrettyPrinter.lean", "new_id": "1944853e77358cf2739285fa2f9360d49bff41a8", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/PrettyPrinter.lean" }, { "type": "modify", "old_id": "8817b5ba44da5bbe2d7e0b54a824de075a2ec684", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Probing.lean", "new_id": "ad62e695a8164e0d8bce82c19fc84fa671106a7b", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Probing.lean" }, { "type": "modify", "old_id": "3a0be7b8c8daaaf0c476983eb090fcff18791e1b", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/PullFunDecls.lean", "new_id": "e1162ac6feed5919dddabf98944ed0f398d63ca6", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/PullFunDecls.lean" }, { "type": "modify", "old_id": "b80174336c7c8ce41ddf124cc467b5197236c3da", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/PullLetDecls.lean", "new_id": "31496f2ae270623d3f14ac7b4f0cf013f12e53c4", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/PullLetDecls.lean" }, { "type": "modify", "old_id": "4518494b969955e1524af55231f71099f55fbb78", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ReduceArity.lean", "new_id": "f3cf5741bfdee37685c3cb8f5da01eede26c633c", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ReduceArity.lean" }, { "type": "modify", "old_id": "5687267b66e8b73db35ae1de8940cde39d008324", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ReduceJpArity.lean", "new_id": "64029163d370f209c2c3fdf99b5c69bde3ad4e68", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ReduceJpArity.lean" }, { "type": "modify", "old_id": "a72181413d482f11627baf79a99740a52fa71a17", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Renaming.lean", "new_id": "0c3dbc817e65d74fe3d970746afb09a498708fa0", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Renaming.lean" }, { "type": "modify", "old_id": "893af43acd90f3ee51a68a61482d7b018b81fe5a", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ScopeM.lean", "new_id": "030122010c53999852ae2125373970233fdd7a75", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ScopeM.lean" }, { "type": "modify", "old_id": "9679e29548bb87dd2ff07a0a5621d6ebf25b684c", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp.lean", "new_id": "c9468667ba0112bf03524ddcbea9fb45f14fedeb", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp.lean" }, { "type": "modify", "old_id": "d3a6b11f6dc7052d4484e2bb31e7cf36bcea4015", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/Basic.lean", "new_id": "7562f99281c1a529e651886675bb51417c12487f", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/Basic.lean" }, { "type": "modify", "old_id": "d68c894e1def2aec51d88d1b1d654638de69dd7e", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/Config.lean", "new_id": "833078286fe5241a33aad5d6905d3db79bda4576", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/Config.lean" }, { "type": "modify", "old_id": "86d0978813d7cb4cf7d5987716d55b9d28b874b1", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/ConstantFold.lean", "new_id": "b950aec8ba7e7c967768af469b9106518634582e", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/ConstantFold.lean" }, { "type": "modify", "old_id": "c279d8cc6d4b1522bccd2eadf673fd0f2c77bbdf", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/DefaultAlt.lean", "new_id": "8b2a6587dd7cb1a7a6450eaedcbddea1d7feddfe", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/DefaultAlt.lean" }, { "type": "modify", "old_id": "81389b76848898c380c55d14a0edcf336ff6e5c2", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/DiscrM.lean", "new_id": "d6cb3f222bda358c0cd855de475f2a75e3c9a7d9", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/DiscrM.lean" }, { "type": "modify", "old_id": "e572e46b306e481bc673fb394b59ed1d3e574b45", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/FunDeclInfo.lean", "new_id": "68bb61f665f548d34733741aa8c1a74ce6689de3", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/FunDeclInfo.lean" }, { "type": "modify", "old_id": "d0c3fa33cf72cdc27b608fc9494d71be83d0bb9c", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/InlineCandidate.lean", "new_id": "55a95ffcbaa2720acf85d12709568c9bb1c448ca", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/InlineCandidate.lean" }, { "type": "modify", "old_id": "a771cf7fb546b64a787ec470011641986059650b", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/InlineProj.lean", "new_id": "59851362bc5b7657270f863ba5966fa0b84b978c", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/InlineProj.lean" }, { "type": "modify", "old_id": "962fb2fc3690dcaa46382ee87020ed9a04a5ef67", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/JpCases.lean", "new_id": "5986ba8c378c7e045a9c88ef3700a7d9cdc809b4", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/JpCases.lean" }, { "type": "modify", "old_id": "50e43769aef1fea16c374ccff08aa18b04ee1451", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/Main.lean", "new_id": "e95159c424c6a77dcff26db6bdad43a464e4bef3", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/Main.lean" }, { "type": "modify", "old_id": "4deab43c23fe7a2d268575f4104ff09e8eb9ec8b", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/SimpM.lean", "new_id": "6b374e20830acb37872fa0e8e32736a2324c2503", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/SimpM.lean" }, { "type": "modify", "old_id": "478546a4b386789c7baa41407d39c7cbc9c0b477", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/SimpValue.lean", "new_id": "def573ec04115a9d3f256c60f700f973c9d002de", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/SimpValue.lean" }, { "type": "modify", "old_id": "31d017fd464c8c6fce6e6b8d59745fa73517e062", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Simp/Used.lean", "new_id": "be0c0a7f89102787826cceac6b0949564510a812", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Simp/Used.lean" }, { "type": "modify", "old_id": "fa6d6e4b03a7c0838e690f7e0e371b0541872c4a", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/SpecInfo.lean", "new_id": "530ef482d5305446fb6fc45c479839efcb66f317", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/SpecInfo.lean" }, { "type": "modify", "old_id": "c5208b30904c6c52b554321d0602f4d4f6416060", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Specialize.lean", "new_id": "0d6fe385b1eebc241afbb48accbdb46029cc2ed9", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Specialize.lean" }, { "type": "modify", "old_id": "c866486ee6d61659d5239328542e0f4933639af1", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Testing.lean", "new_id": "929a67c5d418742eece6b8987c6ba54f1f13b24d", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Testing.lean" }, { "type": "modify", "old_id": "0bc2e4a3f571cb65ddb30f1c18f01f84359f4e8b", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ToDecl.lean", "new_id": "a8369e8e6f7ca69ff1f5d50e0e67fb801deb574a", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ToDecl.lean" }, { "type": "modify", "old_id": "9abc4fb15d07f8f1992de3bd50bcab240e09cb23", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ToExpr.lean", "new_id": "91a11e10410c8237d80a943210d537f14815a329", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ToExpr.lean" }, { "type": "modify", "old_id": "57229d12ba59b8bec6e10bf382a4c23018dc23b8", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ToLCNF.lean", "new_id": "219bddec5b3a8898efcbb3ddbfb8ec17057af335", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ToLCNF.lean" }, { "type": "modify", "old_id": "963aedde5c429ffab1f205cb3e6a1de98af8830d", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/ToMono.lean", "new_id": "1282c35f642bae5b04dedcde7c030995a39fac1f", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/ToMono.lean" }, { "type": "modify", "old_id": "47e4a9f9de82cb06a1ec77ab4e115c5ed540d1ed", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Types.lean", "new_id": "8a8d2278e7cde6e6d0893b05e799bcdc3f0334cb", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Types.lean" }, { "type": "modify", "old_id": "a1c7f82c00c23d5e08856a700c741e8239ebc27d", "old_mode": 33188, "old_path": "src/Lean/Compiler/LCNF/Util.lean", "new_id": "da14ee5d5e1ab9f9912967bfcdfdc9b785aa62d2", "new_mode": 33188, "new_path": "src/Lean/Compiler/LCNF/Util.lean" }, { "type": "modify", "old_id": "f022ac9af49f32a170f760b1d0bf9c90487c51c5", "old_mode": 33188, "old_path": "src/Lean/Compiler/Main.lean", "new_id": "837320a8db06a1bb0f56bdc0ac28d116b246cc78", "new_mode": 33188, "new_path": "src/Lean/Compiler/Main.lean" }, { "type": "modify", "old_id": "80adbb39919afd9313fdc800be323cbe3c95823d", "old_mode": 33188, "old_path": "src/Lean/Compiler/NameMangling.lean", "new_id": "4f799e57a2b77a5d6167a87eaecaa725439be4c7", "new_mode": 33188, "new_path": "src/Lean/Compiler/NameMangling.lean" }, { "type": "modify", "old_id": "7868c72a4c8d7690f7905324632f307de4e3b926", "old_mode": 33188, "old_path": "src/Lean/Compiler/NeverExtractAttr.lean", "new_id": "6b7194c7c886d26daf877d5b005c23d3ddbdbfd7", "new_mode": 33188, "new_path": "src/Lean/Compiler/NeverExtractAttr.lean" }, { "type": "modify", "old_id": "ad03125f4d968777d5b47881467f5d04bcea35d9", "old_mode": 33188, "old_path": "src/Lean/Compiler/NoncomputableAttr.lean", "new_id": "a572182a4be7a8f78f17345c26bf681726605345", "new_mode": 33188, "new_path": "src/Lean/Compiler/NoncomputableAttr.lean" }, { "type": "modify", "old_id": "628131977e9e237568e70504c63324dbfcf5c5db", "old_mode": 33188, "old_path": "src/Lean/Compiler/Old.lean", "new_id": "2ae6cc23b3652b71087a3affb8f95e98d609ebd9", "new_mode": 33188, "new_path": "src/Lean/Compiler/Old.lean" }, { "type": "modify", "old_id": "5ec2f8a0e21d839efe2757bad12481b3f364b571", "old_mode": 33188, "old_path": "src/Lean/Compiler/Options.lean", "new_id": "f586b538269daf8f8d94c03c5fbaf347e9b79911", "new_mode": 33188, "new_path": "src/Lean/Compiler/Options.lean" }, { "type": "modify", "old_id": "b27a8c040ead7be5cc058f56a7d12b3a2cd00c26", "old_mode": 33188, "old_path": "src/Lean/Compiler/Specialize.lean", "new_id": "dc17f83b19b29523132e868927d0775a86a1a827", "new_mode": 33188, "new_path": "src/Lean/Compiler/Specialize.lean" }, { "type": "modify", "old_id": "ac5a813437dc08ee8c989a8c62a8f5035fd11e7a", "old_mode": 33188, "old_path": "src/Lean/CoreM.lean", "new_id": "29d0df0ec73a1997dc4b288f47a59f87eda1e125", "new_mode": 33188, "new_path": "src/Lean/CoreM.lean" }, { "type": "modify", "old_id": "7ff9a08ee5033e7a11ed41fba946a16643aa62fd", "old_mode": 33188, "old_path": "src/Lean/Data.lean", "new_id": "e1af358c3fe34f13a98aecf9a84704be39c31b91", "new_mode": 33188, "new_path": "src/Lean/Data.lean" }, { "type": "modify", "old_id": "6af40d7e8a43f7cfdfbb048f63bd5ee40f3fae49", "old_mode": 33188, "old_path": "src/Lean/Data/Array.lean", "new_id": "7c89fab45e46ae215f56b3a10cad90488ce7cb4d", "new_mode": 33188, "new_path": "src/Lean/Data/Array.lean" }, { "type": "modify", "old_id": "15f0a14c6f4a78912bb249b78c90938b3d442674", "old_mode": 33188, "old_path": "src/Lean/Data/AssocList.lean", "new_id": "751c7553736c1540a23183a1407812018c797b7b", "new_mode": 33188, "new_path": "src/Lean/Data/AssocList.lean" }, { "type": "modify", "old_id": "ebc31b72e18291f84ead565073625d8f2db75382", "old_mode": 33188, "old_path": "src/Lean/Data/Format.lean", "new_id": "3b9e1dddb7e6439351b31b735a0b47979cbe2519", "new_mode": 33188, "new_path": "src/Lean/Data/Format.lean" }, { "type": "modify", "old_id": "2bc6f96dcf9dc279d1208acec30c0b9e4459cd18", "old_mode": 33188, "old_path": "src/Lean/Data/FuzzyMatching.lean", "new_id": "1ee2cd7ea9bfc978b78fd36e8a230291dcc8a800", "new_mode": 33188, "new_path": "src/Lean/Data/FuzzyMatching.lean" }, { "type": "modify", "old_id": "4ff2087f5c70291b7d26e59d7c111a3595948c10", "old_mode": 33188, "old_path": "src/Lean/Data/HashMap.lean", "new_id": "7e7dc52344f8ab744c374ca1831dc4e04c241c18", "new_mode": 33188, "new_path": "src/Lean/Data/HashMap.lean" }, { "type": "modify", "old_id": "c528dddbe0bbd8c7305063283404af3206ff35f2", "old_mode": 33188, "old_path": "src/Lean/Data/HashSet.lean", "new_id": "5bf16b14f747151ec93b2e7826b56e6803b0db3f", "new_mode": 33188, "new_path": "src/Lean/Data/HashSet.lean" }, { "type": "modify", "old_id": "953013a023b73ac3765ece9afcd59a06f44f1c86", "old_mode": 33188, "old_path": "src/Lean/Data/Json.lean", "new_id": "68e5015078a29435eae444d17cf2bbfa0e7cf243", "new_mode": 33188, "new_path": "src/Lean/Data/Json.lean" }, { "type": "modify", "old_id": "fc2f7949df2d1bd30ef80f665238896973134c09", "old_mode": 33188, "old_path": "src/Lean/Data/Json/Basic.lean", "new_id": "e4bf4a2be795d04279bf9cc8eebbe0e45002e2f0", "new_mode": 33188, "new_path": "src/Lean/Data/Json/Basic.lean" }, { "type": "modify", "old_id": "87df1f9e7984670866a969a8b8c0016fb696f0ae", "old_mode": 33188, "old_path": "src/Lean/Data/Json/Elab.lean", "new_id": "957c4c7522a8c9ee8a5ea96384628c2468b7bf98", "new_mode": 33188, "new_path": "src/Lean/Data/Json/Elab.lean" }, { "type": "modify", "old_id": "6b47212aef48f30de6b7eec02c3fc8a0280f1a1d", "old_mode": 33188, "old_path": "src/Lean/Data/Json/FromToJson.lean", "new_id": "1cfbe06ffa09b6f5177c38780fb2b569b28f90f4", "new_mode": 33188, "new_path": "src/Lean/Data/Json/FromToJson.lean" }, { "type": "modify", "old_id": "aa4bbc12697442e6e4e69e72f63375d97a1db24a", "old_mode": 33188, "old_path": "src/Lean/Data/Json/Parser.lean", "new_id": "05ee8519f22bd9df810d7289645db6574929ae31", "new_mode": 33188, "new_path": "src/Lean/Data/Json/Parser.lean" }, { "type": "modify", "old_id": "8bc9ab08371e907eda6b48aaa0a8389e23b8728d", "old_mode": 33188, "old_path": "src/Lean/Data/Json/Printer.lean", "new_id": "dbbda2d1f20681fecaead979e64c7561b3d3153d", "new_mode": 33188, "new_path": "src/Lean/Data/Json/Printer.lean" }, { "type": "modify", "old_id": "e5edb713834d836bd8f2415d330649e22a2c4e70", "old_mode": 33188, "old_path": "src/Lean/Data/Json/Stream.lean", "new_id": "080d4274fa47bcf6c252624fb31df897c441343f", "new_mode": 33188, "new_path": "src/Lean/Data/Json/Stream.lean" }, { "type": "modify", "old_id": "d0bba7fee33030ab19e1c81fdf06926c01ef01ba", "old_mode": 33188, "old_path": "src/Lean/Data/JsonRpc.lean", "new_id": "832b1374f73241f6402469a4449a1463e2e46b7e", "new_mode": 33188, "new_path": "src/Lean/Data/JsonRpc.lean" }, { "type": "modify", "old_id": "d9107b19587049b31d7dfe35f4ddf83a7af8e235", "old_mode": 33188, "old_path": "src/Lean/Data/KVMap.lean", "new_id": "63d534acd99977bec8e15bb0c98cc61cb03cbe3b", "new_mode": 33188, "new_path": "src/Lean/Data/KVMap.lean" }, { "type": "modify", "old_id": "978a0606f887ec1bc9721be0944ec0efb857c317", "old_mode": 33188, "old_path": "src/Lean/Data/LBool.lean", "new_id": "aceb1d574fef7ac3166dac296d3a19d59eea69f6", "new_mode": 33188, "new_path": "src/Lean/Data/LBool.lean" }, { "type": "modify", "old_id": "9534ae184f611f3c3cf2b9069573c2237e28d5ec", "old_mode": 33188, "old_path": "src/Lean/Data/LOption.lean", "new_id": "17bf5cd7a9f84d6dc33051c471545c944305ff5a", "new_mode": 33188, "new_path": "src/Lean/Data/LOption.lean" }, { "type": "modify", "old_id": "a7d643b3cf397f6f7254f355f422c040f4c9ce0b", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp.lean", "new_id": "441d4e82fc03c636e8aa51495a76ba9ded249b85", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp.lean" }, { "type": "modify", "old_id": "5cef48565af28906993ae21a6107452eba0f40af", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Basic.lean", "new_id": "354152db9c458502a0507a50b8fac0a70846f192", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Basic.lean" }, { "type": "modify", "old_id": "02e5e94f6e059ce3249120c13208b40b02ddcfd2", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Capabilities.lean", "new_id": "d4eb3c4409b5369a358d4d8b7b5b4c29731b8e66", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Capabilities.lean" }, { "type": "modify", "old_id": "4ac80a6e0e0fb27c2079940dc9a8f3079807aad0", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Client.lean", "new_id": "4b4255c1b0fe2f8736ed4ce6eab4a9cf022314d2", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Client.lean" }, { "type": "modify", "old_id": "6b4c97e6854dba5b6b776ab560b176edd6a864f7", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/CodeActions.lean", "new_id": "bc075ba47dde7bae0bbb96e05179e505d3772d47", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/CodeActions.lean" }, { "type": "modify", "old_id": "1b599e19a7816e7e9a147d0d7e96fe966907d335", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Communication.lean", "new_id": "638bbd96a1273a9b034f58a93b39b2e4d0463a74", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Communication.lean" }, { "type": "modify", "old_id": "43bcca9fb346ab4fb018120f450201534da36526", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Diagnostics.lean", "new_id": "203ca7eccef637ffe3d7557984072aac53cc48b1", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Diagnostics.lean" }, { "type": "modify", "old_id": "8fb8f0d874c2388bd90b4fc9724b8cd56e35b03c", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Extra.lean", "new_id": "87f281a12730908915446a9aa4d8a777cf27d842", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Extra.lean" }, { "type": "modify", "old_id": "ad1eea912c96f5faefaf380b90dee041c36ebd78", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/InitShutdown.lean", "new_id": "f4ee3c9ca66f10963458611220413f1c8a4de7a3", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/InitShutdown.lean" }, { "type": "modify", "old_id": "0112a6ead0a090cf0fc21d9a607dbf78d163b51e", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Internal.lean", "new_id": "5452034f71d7282f5e6e0bb5d80596cb4181f58e", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Internal.lean" }, { "type": "modify", "old_id": "c6580ede7137943a30e7f664ca24bdd066179972", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Ipc.lean", "new_id": "729387535bc99b65d646fa16d06550b2b5df79e1", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Ipc.lean" }, { "type": "modify", "old_id": "cf66da7d523f53166b43b058bc7a01a4fcf8ef8d", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/LanguageFeatures.lean", "new_id": "ab1c6602ec171d694c2342f78733c495959ee231", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/LanguageFeatures.lean" }, { "type": "modify", "old_id": "96b796d8b7f690990e9cce1441225e196fc9aef5", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/TextSync.lean", "new_id": "27ab784799b5619ce11faf55f9c00613d024faa9", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/TextSync.lean" }, { "type": "modify", "old_id": "49a4c87323d958454355e530fb447f076a8168fd", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Utf16.lean", "new_id": "460aca489c5f276ea04750a100c36b1742911b08", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Utf16.lean" }, { "type": "modify", "old_id": "3ec4f3f1ed36e7976262c912da5fdcad2a72d2d0", "old_mode": 33188, "old_path": "src/Lean/Data/Lsp/Workspace.lean", "new_id": "1a1484cc44f4c24c93f99b0349c4e0b57989c4b6", "new_mode": 33188, "new_path": "src/Lean/Data/Lsp/Workspace.lean" }, { "type": "modify", "old_id": "f31da9b767dedd183b8560ff9090c1ad3cacf674", "old_mode": 33188, "old_path": "src/Lean/Data/Name.lean", "new_id": "f095a22d712f00ab150d1a0a11d09c110a7808d1", "new_mode": 33188, "new_path": "src/Lean/Data/Name.lean" }, { "type": "modify", "old_id": "4fb27f5ed1e883398e85286fdff92a33b6011b3a", "old_mode": 33188, "old_path": "src/Lean/Data/NameMap.lean", "new_id": "84cc3a68286a3886e189daa5f2acd22e8744a022", "new_mode": 33188, "new_path": "src/Lean/Data/NameMap.lean" }, { "type": "modify", "old_id": "7bc88ca02b2ecc74bb0f0d496892e6850d2b5b83", "old_mode": 33188, "old_path": "src/Lean/Data/NameTrie.lean", "new_id": "9098b191f3a8a43d24500f805815d81044c57a85", "new_mode": 33188, "new_path": "src/Lean/Data/NameTrie.lean" }, { "type": "modify", "old_id": "f6c0d0b262cfd95786ef30b50f1363c67f69d9f5", "old_mode": 33188, "old_path": "src/Lean/Data/OpenDecl.lean", "new_id": "ea197aafdffd60df9ee8582c6deac8111d602242", "new_mode": 33188, "new_path": "src/Lean/Data/OpenDecl.lean" }, { "type": "modify", "old_id": "0b6525a24acbb1daad7dd5148d296faaed5fba4c", "old_mode": 33188, "old_path": "src/Lean/Data/Options.lean", "new_id": "e8d7dd2278dc7ce29ba4f49f241a53ffc39ac9df", "new_mode": 33188, "new_path": "src/Lean/Data/Options.lean" }, { "type": "modify", "old_id": "29eaaaa4c72bfb80df336cdb4529c59919dde091", "old_mode": 33188, "old_path": "src/Lean/Data/Parsec.lean", "new_id": "3442edb8fc93b708e1494c3403f567394b5f8747", "new_mode": 33188, "new_path": "src/Lean/Data/Parsec.lean" }, { "type": "modify", "old_id": "995a80e9a9c0aa265d868a834e429c3f1f5def5a", "old_mode": 33188, "old_path": "src/Lean/Data/PersistentArray.lean", "new_id": "41811a49328630d9c081d085f2b86184f4e32030", "new_mode": 33188, "new_path": "src/Lean/Data/PersistentArray.lean" }, { "type": "modify", "old_id": "0701b41686ee0e2eb16e19cbcca76188dcf1c053", "old_mode": 33188, "old_path": "src/Lean/Data/PersistentHashMap.lean", "new_id": "1ad98452995a4cad0bc6d86159633332fc9baeac", "new_mode": 33188, "new_path": "src/Lean/Data/PersistentHashMap.lean" }, { "type": "modify", "old_id": "0cbcfacb0712ea253fead62f05473c90e8088382", "old_mode": 33188, "old_path": "src/Lean/Data/PersistentHashSet.lean", "new_id": "63deda7b2bed35974e8376b440e2a16fa95894bb", "new_mode": 33188, "new_path": "src/Lean/Data/PersistentHashSet.lean" }, { "type": "modify", "old_id": "73780c72c83f65200beba546a65b328a5e377e55", "old_mode": 33188, "old_path": "src/Lean/Data/Position.lean", "new_id": "9836f3cbf51b50d62a12a5524299e201032be1e8", "new_mode": 33188, "new_path": "src/Lean/Data/Position.lean" }, { "type": "modify", "old_id": "a5088b8c6f6e341e4c0f38e0d8b53eb4d8a9cfec", "old_mode": 33188, "old_path": "src/Lean/Data/PrefixTree.lean", "new_id": "33396e47bfd0f11928c1c3eb68e809b0d2bfec8a", "new_mode": 33188, "new_path": "src/Lean/Data/PrefixTree.lean" }, { "type": "modify", "old_id": "3051c17349008237e19ad2f379183b7e596d1422", "old_mode": 33188, "old_path": "src/Lean/Data/RBMap.lean", "new_id": "378b6147221d788f8e3792ef9a75eac78db048d9", "new_mode": 33188, "new_path": "src/Lean/Data/RBMap.lean" }, { "type": "modify", "old_id": "3bcd15f477d868b3ebe2e26d7f779408c951890f", "old_mode": 33188, "old_path": "src/Lean/Data/RBTree.lean", "new_id": "a2fde26f33b816456c590ba0805133365c46cd32", "new_mode": 33188, "new_path": "src/Lean/Data/RBTree.lean" }, { "type": "modify", "old_id": "5f22887f92e423075f863d9099fc95a03aa5fd60", "old_mode": 33188, "old_path": "src/Lean/Data/Rat.lean", "new_id": "6b3eef95034a47d3a936e3e448b1f728121baeb5", "new_mode": 33188, "new_path": "src/Lean/Data/Rat.lean" }, { "type": "modify", "old_id": "d8b34a56f128372c8833d5897c5fecbffacddd6c", "old_mode": 33188, "old_path": "src/Lean/Data/SMap.lean", "new_id": "f7fa7fffca760538f79249d3cce9a11df301f0d3", "new_mode": 33188, "new_path": "src/Lean/Data/SMap.lean" }, { "type": "modify", "old_id": "578340f86402462562d3a02c867fb09298b73ca9", "old_mode": 33188, "old_path": "src/Lean/Data/SSet.lean", "new_id": "9a12c550a67e4223ff7114e0b3dbe058ed5b34c7", "new_mode": 33188, "new_path": "src/Lean/Data/SSet.lean" }, { "type": "modify", "old_id": "0756c3269d97c6cd234edcc2329880fff4589981", "old_mode": 33188, "old_path": "src/Lean/Data/Trie.lean", "new_id": "f44d583830cec4f237b70c5c3a9a759c92ffa9b0", "new_mode": 33188, "new_path": "src/Lean/Data/Trie.lean" }, { "type": "modify", "old_id": "8c6ad55a2fc687ca9dda37b5913c2b2dc68ae99a", "old_mode": 33188, "old_path": "src/Lean/Data/Xml.lean", "new_id": "c91eb088f8dc096df02d15ab15f697d753b575c3", "new_mode": 33188, "new_path": "src/Lean/Data/Xml.lean" }, { "type": "modify", "old_id": "191251d4ca8a4ba592e04b766819b59d87f4801b", "old_mode": 33188, "old_path": "src/Lean/Data/Xml/Basic.lean", "new_id": "a3bc48fad685b96e8a3bed2266d4f29705f57d15", "new_mode": 33188, "new_path": "src/Lean/Data/Xml/Basic.lean" }, { "type": "modify", "old_id": "7b8d5b0a8fc9fc72071d29d7c2b0e6d6576eb8f0", "old_mode": 33188, "old_path": "src/Lean/Data/Xml/Parser.lean", "new_id": "5590764b209a22b5cd0ce87c0592be77be924b80", "new_mode": 33188, "new_path": "src/Lean/Data/Xml/Parser.lean" }, { "type": "modify", "old_id": "ad70c0f4419d3bcdfae7fd1269c6a3bfb6883bca", "old_mode": 33188, "old_path": "src/Lean/Declaration.lean", "new_id": "6bfca6ab000d1db8ef71a0609be58321b798787b", "new_mode": 33188, "new_path": "src/Lean/Declaration.lean" }, { "type": "modify", "old_id": "7e0c2a099a6b8f102989f1c54fc53608e1976311", "old_mode": 33188, "old_path": "src/Lean/DeclarationRange.lean", "new_id": "ebd2e3f7dbfaa7f07aecbc8fe8707a041954dca1", "new_mode": 33188, "new_path": "src/Lean/DeclarationRange.lean" }, { "type": "modify", "old_id": "5bc5c76f0cbb8e3d69f87489f0d46ea8473f8872", "old_mode": 33188, "old_path": "src/Lean/DocString.lean", "new_id": "d555f921b176c755987e06ca02a55ba5fb444406", "new_mode": 33188, "new_path": "src/Lean/DocString.lean" }, { "type": "modify", "old_id": "63542fa2c0cd61a00baebac584ee01538ccafca7", "old_mode": 33188, "old_path": "src/Lean/Elab.lean", "new_id": "eeca035b8fbfcb8e143c0c4594bd4a3e77f67a55", "new_mode": 33188, "new_path": "src/Lean/Elab.lean" }, { "type": "modify", "old_id": "aa0e473205f7944ebde0960821bea2e359dd761c", "old_mode": 33188, "old_path": "src/Lean/Elab/App.lean", "new_id": "154fbdef552e5dbcc320d57c69c7a74e2cb1f006", "new_mode": 33188, "new_path": "src/Lean/Elab/App.lean" }, { "type": "modify", "old_id": "a0ebb526c5460fc42601016b5ae0f6c1d0404882", "old_mode": 33188, "old_path": "src/Lean/Elab/Arg.lean", "new_id": "81fd73ec9d55f6006df579055cd55aee7ee19c53", "new_mode": 33188, "new_path": "src/Lean/Elab/Arg.lean" }, { "type": "modify", "old_id": "4bb6f0247f10df3aa8daa0e5cb0f68638ae7abf8", "old_mode": 33188, "old_path": "src/Lean/Elab/Attributes.lean", "new_id": "50af639240f2ebddd570e5cfff2171c58916459d", "new_mode": 33188, "new_path": "src/Lean/Elab/Attributes.lean" }, { "type": "modify", "old_id": "0aa66e3a5f83f1da229986b600e8e11bf08be9b1", "old_mode": 33188, "old_path": "src/Lean/Elab/AutoBound.lean", "new_id": "41d4e51625f989a9a20aaf70892158f7e70ddef4", "new_mode": 33188, "new_path": "src/Lean/Elab/AutoBound.lean" }, { "type": "modify", "old_id": "bb8984e5233205eb700149775c09ba4218736a34", "old_mode": 33188, "old_path": "src/Lean/Elab/AuxDef.lean", "new_id": "3dd12700964e736a116a307326612e3a2058a79d", "new_mode": 33188, "new_path": "src/Lean/Elab/AuxDef.lean" }, { "type": "modify", "old_id": "9a50ce1608c838260ae38b604f38a79fd09298c9", "old_mode": 33188, "old_path": "src/Lean/Elab/BinderPredicates.lean", "new_id": "6781e610e816aebdef3e00e5f4008434ceb42d5d", "new_mode": 33188, "new_path": "src/Lean/Elab/BinderPredicates.lean" }, { "type": "modify", "old_id": "8895d18c874e0661b7718db9268791ff9711e01a", "old_mode": 33188, "old_path": "src/Lean/Elab/Binders.lean", "new_id": "ae6974b838b1b5a0ac8baf80cf4c7e31d3395363", "new_mode": 33188, "new_path": "src/Lean/Elab/Binders.lean" }, { "type": "modify", "old_id": "dbf97fe1db72e075ab1f579a6dcc9b2c7da1a601", "old_mode": 33188, "old_path": "src/Lean/Elab/BindersUtil.lean", "new_id": "1fabc4e14353b98a95624ce2353a45ca83032a80", "new_mode": 33188, "new_path": "src/Lean/Elab/BindersUtil.lean" }, { "type": "modify", "old_id": "ab5213a54d3904348d9dbe45a6844bd0acd0465d", "old_mode": 33188, "old_path": "src/Lean/Elab/BuiltinCommand.lean", "new_id": "4c052b138d56643a3421820b3e26344a9a277209", "new_mode": 33188, "new_path": "src/Lean/Elab/BuiltinCommand.lean" }, { "type": "modify", "old_id": "b94046e20b70207ed5e9d51bccbbae67dd6a3454", "old_mode": 33188, "old_path": "src/Lean/Elab/BuiltinNotation.lean", "new_id": "6edf9ad042e22e17d7731897f6073a428b365e35", "new_mode": 33188, "new_path": "src/Lean/Elab/BuiltinNotation.lean" }, { "type": "modify", "old_id": "31516619b0f188811f4378864202541989e84122", "old_mode": 33188, "old_path": "src/Lean/Elab/BuiltinTerm.lean", "new_id": "64913174fda0415853b1db2b2f6a44773ebdb837", "new_mode": 33188, "new_path": "src/Lean/Elab/BuiltinTerm.lean" }, { "type": "modify", "old_id": "0a33a18cb890669fcd0e39164854fa38385ed608", "old_mode": 33188, "old_path": "src/Lean/Elab/Calc.lean", "new_id": "11d6319c1097468cb8489063d341b51435a83f2d", "new_mode": 33188, "new_path": "src/Lean/Elab/Calc.lean" }, { "type": "modify", "old_id": "dd72d37f8d9ed11ad8653808fc71bfcaf3acf315", "old_mode": 33188, "old_path": "src/Lean/Elab/Command.lean", "new_id": "96b13e772d2d3356fea4067599aff25a0544be42", "new_mode": 33188, "new_path": "src/Lean/Elab/Command.lean" }, { "type": "modify", "old_id": "2019d83ee1b388a650309ccb091d93d1918c365c", "old_mode": 33188, "old_path": "src/Lean/Elab/ComputedFields.lean", "new_id": "7f9c30b2d048527ce607c84938472a513e43723c", "new_mode": 33188, "new_path": "src/Lean/Elab/ComputedFields.lean" }, { "type": "modify", "old_id": "f7ad2d85ca56b07c7759dfadbd96d42489309323", "old_mode": 33188, "old_path": "src/Lean/Elab/Config.lean", "new_id": "ad643f215f67ba6c92cb0047f15f26e288d45a55", "new_mode": 33188, "new_path": "src/Lean/Elab/Config.lean" }, { "type": "modify", "old_id": "2a76ef542440f9572c5cf2cbab34396f8b7a7053", "old_mode": 33188, "old_path": "src/Lean/Elab/DeclModifiers.lean", "new_id": "31fc18ebf819abf67a4cfd8f16432ab26eb2606a", "new_mode": 33188, "new_path": "src/Lean/Elab/DeclModifiers.lean" }, { "type": "modify", "old_id": "0347b80b288913b295ba03bf721ae3501508d1ca", "old_mode": 33188, "old_path": "src/Lean/Elab/DeclUtil.lean", "new_id": "9b5025ad41e3a768d1d87acb5b23294795a89ad7", "new_mode": 33188, "new_path": "src/Lean/Elab/DeclUtil.lean" }, { "type": "modify", "old_id": "2a6d6ff6f90640ff2d7cede3df89a8ddb348a9be", "old_mode": 33188, "old_path": "src/Lean/Elab/Declaration.lean", "new_id": "931c4674bb449f107f1d992036f1e04e6b02c6e3", "new_mode": 33188, "new_path": "src/Lean/Elab/Declaration.lean" }, { "type": "modify", "old_id": "792879cc55a055fb429632e97b2b2effa4857a6c", "old_mode": 33188, "old_path": "src/Lean/Elab/DeclarationRange.lean", "new_id": "6d6b39e5eeee020e58c83c814f7be7377d52fa56", "new_mode": 33188, "new_path": "src/Lean/Elab/DeclarationRange.lean" }, { "type": "modify", "old_id": "4d40561c95db83e46d115cf9ffb665ad05c1b537", "old_mode": 33188, "old_path": "src/Lean/Elab/DefView.lean", "new_id": "246b9987f775832a9ffc7e852902b998f661a723", "new_mode": 33188, "new_path": "src/Lean/Elab/DefView.lean" }, { "type": "modify", "old_id": "026fd7b1459f06e3f695db623249828f19a9da0f", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving.lean", "new_id": "d6b9aef0289a073be9706035dfe39c7a93541de5", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving.lean" }, { "type": "modify", "old_id": "ab9aca093b4ce1f14471ef36b9bedbdefea0dead", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/BEq.lean", "new_id": "c3c8c0b9f493e61a853134cf213b8c69bb7ac1d9", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/BEq.lean" }, { "type": "modify", "old_id": "6fd387d5dfaa24190ca0603305a4ca27852a7467", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/Basic.lean", "new_id": "b8d093309a5e4a3495304b9126d7a222823fe4f2", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/Basic.lean" }, { "type": "modify", "old_id": "d2ab52bce9317e371a67e4123da3125d55ef22e7", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/DecEq.lean", "new_id": "5d9075471c66dbf0ef7208cb04d70a0eb342a386", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/DecEq.lean" }, { "type": "modify", "old_id": "c91dd4e2347b1c2db79166e1b71e30e767fe350f", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/FromToJson.lean", "new_id": "2f8f2ce5f84c61c5d9f05457139d929ffb8cea79", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/FromToJson.lean" }, { "type": "modify", "old_id": "e6b4612178b440d5d86e11e9a60292c4775e81fe", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/Hashable.lean", "new_id": "be7c5ee1d85a27cd32ba76f112ded5988f94ae67", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/Hashable.lean" }, { "type": "modify", "old_id": "90a5956a5df316084438c1cafab64bf890e59f3c", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/Inhabited.lean", "new_id": "61b786e1740acafdff76e4e330019431bcea8471", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/Inhabited.lean" }, { "type": "modify", "old_id": "735193b7ae2f761e517f4417fcaad59254faa124", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/Nonempty.lean", "new_id": "d37173365670e9061ce81ad003c205f9be39f3fa", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/Nonempty.lean" }, { "type": "modify", "old_id": "5b239e9ad30240cf5dd446180d62b2047c34903c", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/Ord.lean", "new_id": "47a4bcfc1ebf34e7d2e76d096383be33ef6917ef", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/Ord.lean" }, { "type": "modify", "old_id": "871e6be3f1a5ef04bc620c3ffc2fcf31e8b11caf", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/Repr.lean", "new_id": "425d8772ef9e396900357b49daf1f5155b2d0d2c", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/Repr.lean" }, { "type": "modify", "old_id": "e082f8869bb97ed05850911c810022233660bf96", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/SizeOf.lean", "new_id": "8c5057ed401b29924f7e81edd8813a455ee2bec2", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/SizeOf.lean" }, { "type": "modify", "old_id": "2253090f6f58f4d85e08bc4672b27df29d7a1cf7", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/TypeName.lean", "new_id": "671ddad1021bb147d67a32365566f53baaa73a03", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/TypeName.lean" }, { "type": "modify", "old_id": "009dd21404aebbbd92272d856058e260a50b5859", "old_mode": 33188, "old_path": "src/Lean/Elab/Deriving/Util.lean", "new_id": "03f7eecae200bdb734ea83c09784e1f9cf700788", "new_mode": 33188, "new_path": "src/Lean/Elab/Deriving/Util.lean" }, { "type": "modify", "old_id": "a81dd14afb5cc1c88cb2daad1f2a36d72f13d358", "old_mode": 33188, "old_path": "src/Lean/Elab/Do.lean", "new_id": "333b5486536d2eacb1260d0704c8b6a71eb54f57", "new_mode": 33188, "new_path": "src/Lean/Elab/Do.lean" }, { "type": "modify", "old_id": "135393ef67318a9a87a78ff0e15f9c423ebddc87", "old_mode": 33188, "old_path": "src/Lean/Elab/ElabRules.lean", "new_id": "d10066ce023a91e18809eddf4cfdeead8ace4528", "new_mode": 33188, "new_path": "src/Lean/Elab/ElabRules.lean" }, { "type": "modify", "old_id": "6876cf88c2d48a615d029185672ad50ec04f8153", "old_mode": 33188, "old_path": "src/Lean/Elab/Eval.lean", "new_id": "747acfe51944f55e598d5c7e995625043835ac62", "new_mode": 33188, "new_path": "src/Lean/Elab/Eval.lean" }, { "type": "modify", "old_id": "39f49037cc5b6e4998e73b5ca71a9e501de706b3", "old_mode": 33188, "old_path": "src/Lean/Elab/Exception.lean", "new_id": "518915864e4dc21c0c6d7db400db8e2facdbea11", "new_mode": 33188, "new_path": "src/Lean/Elab/Exception.lean" }, { "type": "modify", "old_id": "d102a217729cc2d6673c1a52de30db374fcf7766", "old_mode": 33188, "old_path": "src/Lean/Elab/Extra.lean", "new_id": "73450fbc839a50b17cb7fb1d62a8a60b61f7f406", "new_mode": 33188, "new_path": "src/Lean/Elab/Extra.lean" }, { "type": "modify", "old_id": "79bd136585f493fd7b252a20d7fd712e45e44488", "old_mode": 33188, "old_path": "src/Lean/Elab/Frontend.lean", "new_id": "27283c89a9c6fcbde279a7e088ba71eb124f9998", "new_mode": 33188, "new_path": "src/Lean/Elab/Frontend.lean" }, { "type": "modify", "old_id": "becc897bb6be5adbe42bea3d4e5edc66ad18b667", "old_mode": 33188, "old_path": "src/Lean/Elab/GenInjective.lean", "new_id": "5df6250eb7a8a6ea90120f5480d810c74de362ed", "new_mode": 33188, "new_path": "src/Lean/Elab/GenInjective.lean" }, { "type": "modify", "old_id": "3f031cd5b1c7fb6d7d92c316cef2ddcf079a6131", "old_mode": 33188, "old_path": "src/Lean/Elab/Import.lean", "new_id": "88a013c490405726036eeb1b06d6b502d94c814c", "new_mode": 33188, "new_path": "src/Lean/Elab/Import.lean" }, { "type": "modify", "old_id": "d377da2c3b008828c62e3d5b1351e6703d30a2d1", "old_mode": 33188, "old_path": "src/Lean/Elab/Inductive.lean", "new_id": "a78e39c54a394a732f4c7b6e8cca3f2f98a5f28b", "new_mode": 33188, "new_path": "src/Lean/Elab/Inductive.lean" }, { "type": "modify", "old_id": "2a976e5de43e20bd954d9d0c8fd9366ffdf20f3a", "old_mode": 33188, "old_path": "src/Lean/Elab/InfoTree.lean", "new_id": "a639d37d270c5f06bea885c9df256b9b9d511658", "new_mode": 33188, "new_path": "src/Lean/Elab/InfoTree.lean" }, { "type": "modify", "old_id": "b861ed6df7359c358369f069085a78e597b75e09", "old_mode": 33188, "old_path": "src/Lean/Elab/InfoTree/Main.lean", "new_id": "ee05df339993f9aa0d1686bcea38aadd0d4948cf", "new_mode": 33188, "new_path": "src/Lean/Elab/InfoTree/Main.lean" }, { "type": "modify", "old_id": "f7eca68b2ffb9f1624bc9952029218dd838bb52c", "old_mode": 33188, "old_path": "src/Lean/Elab/InfoTree/Types.lean", "new_id": "f2b95a22237f16dfddc782d12fca838c93c16b79", "new_mode": 33188, "new_path": "src/Lean/Elab/InfoTree/Types.lean" }, { "type": "modify", "old_id": "b629a9e12429e3a9b90bb808fd158dbb9096f6ad", "old_mode": 33188, "old_path": "src/Lean/Elab/InheritDoc.lean", "new_id": "8b0c1cd100dfd06cb464518d0dffdc9fd87be6cf", "new_mode": 33188, "new_path": "src/Lean/Elab/InheritDoc.lean" }, { "type": "modify", "old_id": "f0ba18806ccb1596759e9ef4100f37f2e4dfad56", "old_mode": 33188, "old_path": "src/Lean/Elab/LetRec.lean", "new_id": "d41c946ec4bf333e6da6082b5150469bc7a337e5", "new_mode": 33188, "new_path": "src/Lean/Elab/LetRec.lean" }, { "type": "modify", "old_id": "610d44a1416e0c9a9669828db3c6ef420d19c729", "old_mode": 33188, "old_path": "src/Lean/Elab/Level.lean", "new_id": "9734cac1ee45677d87c6214b865bfb9817f18a0b", "new_mode": 33188, "new_path": "src/Lean/Elab/Level.lean" }, { "type": "modify", "old_id": "93059a6c35a659568ea41448d0e866b0e22b808e", "old_mode": 33188, "old_path": "src/Lean/Elab/Macro.lean", "new_id": "a814ce01c1158a4f0376e491d6bd1b463c20ac88", "new_mode": 33188, "new_path": "src/Lean/Elab/Macro.lean" }, { "type": "modify", "old_id": "de59e5dedf451d507d57113f7c25b2e51b5daa5c", "old_mode": 33188, "old_path": "src/Lean/Elab/MacroArgUtil.lean", "new_id": "6e4f342bc5e47865b5d9f258ae14118a563622c7", "new_mode": 33188, "new_path": "src/Lean/Elab/MacroArgUtil.lean" }, { "type": "modify", "old_id": "8384c81fc0826657c49f8f87c8235bf4c96c320d", "old_mode": 33188, "old_path": "src/Lean/Elab/MacroRules.lean", "new_id": "01a1aaba3bfc40e3ed81b48b95f57f9065135eea", "new_mode": 33188, "new_path": "src/Lean/Elab/MacroRules.lean" }, { "type": "modify", "old_id": "016d5f8d5d1cd801e332474f7c274d73d942a12a", "old_mode": 33188, "old_path": "src/Lean/Elab/Match.lean", "new_id": "0d82df4dbd7f2eb455956d26b4c9bad95e7390f3", "new_mode": 33188, "new_path": "src/Lean/Elab/Match.lean" }, { "type": "modify", "old_id": "30ae0b676617d6f228559829d0261f3ff8afd34b", "old_mode": 33188, "old_path": "src/Lean/Elab/MatchAltView.lean", "new_id": "3427d43901a25a230c0c177f42128099f6077d0a", "new_mode": 33188, "new_path": "src/Lean/Elab/MatchAltView.lean" }, { "type": "modify", "old_id": "c50100acaab224cc54dbf5eb037b6c934c2bd82d", "old_mode": 33188, "old_path": "src/Lean/Elab/Mixfix.lean", "new_id": "4f64dafc25103b0b21c6491ab7c022052887704e", "new_mode": 33188, "new_path": "src/Lean/Elab/Mixfix.lean" }, { "type": "modify", "old_id": "e14c4eb993a6f5bc649f5124d526ab517379bd6a", "old_mode": 33188, "old_path": "src/Lean/Elab/MutualDef.lean", "new_id": "ede838c3f888a7ba5181f697510e4807b32a5903", "new_mode": 33188, "new_path": "src/Lean/Elab/MutualDef.lean" }, { "type": "modify", "old_id": "4771a3e138ef87036e678c16db1469f6eee1371e", "old_mode": 33188, "old_path": "src/Lean/Elab/Notation.lean", "new_id": "6e7d10230a4946437d597ce119dbb46f4251e49d", "new_mode": 33188, "new_path": "src/Lean/Elab/Notation.lean" }, { "type": "modify", "old_id": "51e76eca960bdd737f06924cb8c1e5ae4e128c87", "old_mode": 33188, "old_path": "src/Lean/Elab/Open.lean", "new_id": "2dc2813db39149104b9015b0d2d56804330824be", "new_mode": 33188, "new_path": "src/Lean/Elab/Open.lean" }, { "type": "modify", "old_id": "bcb5d83427a078e9896593d89cdf541b55257bbb", "old_mode": 33188, "old_path": "src/Lean/Elab/ParseImportsFast.lean", "new_id": "aafa94ef649345bf2f55ffb7d438f5d839856f3a", "new_mode": 33188, "new_path": "src/Lean/Elab/ParseImportsFast.lean" }, { "type": "modify", "old_id": "800ae7c79cd31e4781c2ef7c313e25f242c12904", "old_mode": 33188, "old_path": "src/Lean/Elab/PatternVar.lean", "new_id": "7b1d78b790abb7f079681b5504067a97393a67a8", "new_mode": 33188, "new_path": "src/Lean/Elab/PatternVar.lean" }, { "type": "modify", "old_id": "04b0997e86e5223ea51908ae275d6fe93551ea21", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition.lean", "new_id": "dbac034e8030aed73d0c5b4137fdc6a30190826e", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition.lean" }, { "type": "modify", "old_id": "5fde43704a36b137e614b89776b89b8af00cb50a", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Basic.lean", "new_id": "7e86071fa255d9450986f69f97a24dbde833a8a5", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Basic.lean" }, { "type": "modify", "old_id": "862351503856ca316d4ef4b415c62188988f0d8f", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Eqns.lean", "new_id": "8398ac93e189629bf1704f136c8dc4b528852f71", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Eqns.lean" }, { "type": "modify", "old_id": "3d0bb8f6c9dd314a66d941fb39953f101fb78bf2", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Main.lean", "new_id": "c72586a35706cba2e8ee6c90a41760fd5fe93212", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Main.lean" }, { "type": "modify", "old_id": "1ed531927f18de512a80be434270dc1b6c7e7469", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/MkInhabitant.lean", "new_id": "ec50b443d8d77f19426ffe42af4c15a06a95a198", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/MkInhabitant.lean" }, { "type": "modify", "old_id": "5dde930eaf24a7eb0f250699675ee7f89c0ba9af", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural.lean", "new_id": "a0b63b1cf6ce58ad4059b631e4f2e26df424ef3a", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural.lean" }, { "type": "modify", "old_id": "ff6cd8b4bc01aabc08dd84e0f25baf332eaec6b3", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural/BRecOn.lean", "new_id": "6146af3670b9570538d22b101fedf743cea2cd43", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural/BRecOn.lean" }, { "type": "modify", "old_id": "4c99253e0b3ef933013c33cf8075a8a458dd09a6", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural/Basic.lean", "new_id": "29343059ae59aa2d2ecf1c18caaf57393a0f9143", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural/Basic.lean" }, { "type": "modify", "old_id": "566217d5d707a2343efb6b4487c595073f50b1b5", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural/Eqns.lean", "new_id": "c63f1ebfff488bff5d1a4875778512102caac80e", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural/Eqns.lean" }, { "type": "modify", "old_id": "b6d4033412ccf6a4156a212fc7c3885b86bcc8f1", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural/FindRecArg.lean", "new_id": "932e11f44e9dfbaf4e7efe3b68108c3f21618543", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural/FindRecArg.lean" }, { "type": "modify", "old_id": "b865b4614d16d4b95d4ee70da07687ba13f67bbc", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural/IndPred.lean", "new_id": "f45514245f1cb4982f4230bc3ef5f11ef82e0bda", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural/IndPred.lean" }, { "type": "modify", "old_id": "8e52168be23cd51ce9cf806450627ec514cc8e1c", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural/Main.lean", "new_id": "ab7e3af5a7940d537c3226a71aa1d9e56801eeaa", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural/Main.lean" }, { "type": "modify", "old_id": "24c6f17a1d237e62d234bec24c5d0cfd84ff08a4", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural/Preprocess.lean", "new_id": "c0ca92efccbb951d4fca93c64dba4cc06b30f866", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural/Preprocess.lean" }, { "type": "modify", "old_id": "9ee8bbec75372d2bae30b44b8d20f8b253c4c250", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/Structural/SmartUnfolding.lean", "new_id": "05269edb42b7eead739b4047cc15ae4f42e62b9c", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/Structural/SmartUnfolding.lean" }, { "type": "modify", "old_id": "5e4a5b98182e1c127b3d57ced4f61db99f92839d", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF.lean", "new_id": "f072e161a84a24ce7078d7cf3289342ec7fcd4db", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF.lean" }, { "type": "modify", "old_id": "cfecc7654309589726342e8315a8beaed0b97c0e", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/Eqns.lean", "new_id": "e0c71d28fae2691bc61e19e94fab3605cda75a0b", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/Eqns.lean" }, { "type": "modify", "old_id": "658b7312605ee11826977157ac862513b3b5ab57", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/Fix.lean", "new_id": "5f1e9b632ceb20894f42f60fff41ee49e1d0ee0d", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/Fix.lean" }, { "type": "modify", "old_id": "f4d7b50a4b783d2a4c30ea71cfc66dc8ee5aefbd", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/GuessLex.lean", "new_id": "e06f0ab626d0f5bc46bc32532bf36b8bbb94fd34", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/GuessLex.lean" }, { "type": "modify", "old_id": "c628ee583bd1219a2db6b7cd029f89593c0e5291", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/Ite.lean", "new_id": "4634b16f13caec5bce15ed778c54f5dc60c9a560", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/Ite.lean" }, { "type": "modify", "old_id": "24433802ec58a644073cb072fbc6824740f6a726", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/Main.lean", "new_id": "eccce4360c6eb08c4fa1663f8bed8e3aa1de00ef", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/Main.lean" }, { "type": "modify", "old_id": "fdd83d35b6eb880d6e031df0969bf2be15383d25", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/PackDomain.lean", "new_id": "d450e6c9ce1dcae119918b44347d83e268693cf2", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/PackDomain.lean" }, { "type": "modify", "old_id": "0167f9358156a98ed74e7ece80194aab944be33e", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/PackMutual.lean", "new_id": "1f34fe38830abc22188d9506e0f7a466f78d3218", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/PackMutual.lean" }, { "type": "modify", "old_id": "54242a884bd24e509d12af6487192df4abd8e524", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/Preprocess.lean", "new_id": "ad856ae13214dbd6f7032d55785f106c086b0a27", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/Preprocess.lean" }, { "type": "modify", "old_id": "9680b2c397eafb3d94fb7e31b64c7fe1e4e46688", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/Rel.lean", "new_id": "37bd29d76840614cc8e8948662cff7b52ef35534", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/Rel.lean" }, { "type": "modify", "old_id": "23c068735d0b83e2535782fe04575d672a00a6b6", "old_mode": 33188, "old_path": "src/Lean/Elab/PreDefinition/WF/TerminationHint.lean", "new_id": "22d34c6687be15d897f859d1d11d5d2488ce2b4e", "new_mode": 33188, "new_path": "src/Lean/Elab/PreDefinition/WF/TerminationHint.lean" }, { "type": "modify", "old_id": "4d8c930102a872b58f156724d37aa630e364a974", "old_mode": 33188, "old_path": "src/Lean/Elab/Print.lean", "new_id": "e96e50bffa0f43a0c5a1766cd492b15564a6fe37", "new_mode": 33188, "new_path": "src/Lean/Elab/Print.lean" }, { "type": "modify", "old_id": "5b278dc4fdda553e1232b8d224d10f3328d0859c", "old_mode": 33188, "old_path": "src/Lean/Elab/Quotation.lean", "new_id": "a0c83ff00e9d76cc244a7419a0ad940c3dcfd45a", "new_mode": 33188, "new_path": "src/Lean/Elab/Quotation.lean" }, { "type": "modify", "old_id": "540c9b6d7814066c66545a05b77f3457ea3e4b06", "old_mode": 33188, "old_path": "src/Lean/Elab/Quotation/Precheck.lean", "new_id": "05dc94f7340851b125f350eb6b7ce4b62dd1fd8e", "new_mode": 33188, "new_path": "src/Lean/Elab/Quotation/Precheck.lean" }, { "type": "modify", "old_id": "436955003b049fb90197771c87ec31a5c5f6abe4", "old_mode": 33188, "old_path": "src/Lean/Elab/Quotation/Util.lean", "new_id": "e8cf275f3d5776aaf7d3dc7f290f4548fa1136b8", "new_mode": 33188, "new_path": "src/Lean/Elab/Quotation/Util.lean" }, { "type": "modify", "old_id": "1a2ad6dda7bf54cf1b10c53d4fa96352526c931a", "old_mode": 33188, "old_path": "src/Lean/Elab/RecAppSyntax.lean", "new_id": "3b75f115042d3add2b086c77fbecf7887d36903b", "new_mode": 33188, "new_path": "src/Lean/Elab/RecAppSyntax.lean" }, { "type": "modify", "old_id": "29b70ffc67033766af6bd507c20165e6d59d8644", "old_mode": 33188, "old_path": "src/Lean/Elab/SetOption.lean", "new_id": "e4f954ce3d9ea40de282e9c16d2159fad6176c99", "new_mode": 33188, "new_path": "src/Lean/Elab/SetOption.lean" }, { "type": "modify", "old_id": "a7e9b7f9817f0a85c21e35bf0693ee219b7bf2f1", "old_mode": 33188, "old_path": "src/Lean/Elab/StructInst.lean", "new_id": "b551d5cce4f4d15d1c344448e1cdafe61da48758", "new_mode": 33188, "new_path": "src/Lean/Elab/StructInst.lean" }, { "type": "modify", "old_id": "a46742b8fa9409f8fa7995d3c18d180447422e77", "old_mode": 33188, "old_path": "src/Lean/Elab/Structure.lean", "new_id": "137178c4c10cb64aea46beb542500127f1ae437d", "new_mode": 33188, "new_path": "src/Lean/Elab/Structure.lean" }, { "type": "modify", "old_id": "7bba83d4036ff55f6ab9dd4836dd3171554a677f", "old_mode": 33188, "old_path": "src/Lean/Elab/Syntax.lean", "new_id": "e9c7b8316e618d8fde1c68786997e4285ddc6567", "new_mode": 33188, "new_path": "src/Lean/Elab/Syntax.lean" }, { "type": "modify", "old_id": "ac8be48a84a776b6d246d8b7a36f7f3cee4cad92", "old_mode": 33188, "old_path": "src/Lean/Elab/SyntheticMVars.lean", "new_id": "a39d027661651fb03c131c3fe045862ea9cc3a50", "new_mode": 33188, "new_path": "src/Lean/Elab/SyntheticMVars.lean" }, { "type": "modify", "old_id": "6341fc0cf508d5fbf029ae732284f103a42356fc", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic.lean", "new_id": "704e693ec0411feef05cbf48650171461ec2ef75", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic.lean" }, { "type": "modify", "old_id": "835c47a72e997ebaf80c03e96558ed10972fbde6", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Basic.lean", "new_id": "3b3620524081c947b21f7fb275c31ca44dac1787", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Basic.lean" }, { "type": "modify", "old_id": "ca538e5a018f2abe27d941804e91aa1eb9d89420", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean", "new_id": "bd71bbd749c74bc3d122d8f8a28fdab6a9a5cec7", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean" }, { "type": "modify", "old_id": "dea4b86fb8887eb1a62bddaad4aee9645a384090", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Cache.lean", "new_id": "6655d8fa50fe4bf8b0cb486f9a91e423a39a9ebd", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Cache.lean" }, { "type": "modify", "old_id": "a62cb28c3fac0fa38e308bdcba2ead3b8976c469", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Calc.lean", "new_id": "af14fb79d5314014c8888e8147f2c19b98973174", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Calc.lean" }, { "type": "modify", "old_id": "91465d01c35996732270acafa3dfcc1e3aba7765", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Change.lean", "new_id": "88676a7079437b6f4c6dabb85b231b1ffed66a21", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Change.lean" }, { "type": "modify", "old_id": "9f8fa220a1be7cbe04d95384365adaf6b457d247", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Config.lean", "new_id": "bcfcca1fcc41eb7821791187f7862e83ccd38705", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Config.lean" }, { "type": "modify", "old_id": "4d45e7977a60c735e4afa8279fb0b2b8419968ba", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Congr.lean", "new_id": "bbfab37d537b543b7f38534b2f74424d0f16f928", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Congr.lean" }, { "type": "modify", "old_id": "e877fc29d25a7b7df5547d49b6a4851f0e0a176c", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv.lean", "new_id": "4065765fc62b87f374374d85bd5e01c9c6030d86", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv.lean" }, { "type": "modify", "old_id": "bc4bb3ce7632261390ac8d03349e2ebf7aa44def", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv/Basic.lean", "new_id": "abf49010a4867dab2eefb02666ade2b046aef86d", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv/Basic.lean" }, { "type": "modify", "old_id": "385cbf0c63b5805bd9a90cec881e3cb7547c34a5", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv/Change.lean", "new_id": "9385d9e9cddb36fed31cfdac6d3932c7d17654a4", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv/Change.lean" }, { "type": "modify", "old_id": "64c77e310b4624f5acf9fc64d80875864d9edb64", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv/Congr.lean", "new_id": "9060bd91d6508ddde9c9074157c60771a5114876", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv/Congr.lean" }, { "type": "modify", "old_id": "55b0a5e9d76e8caeb7768b24dfceeb918781cd37", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv/Delta.lean", "new_id": "f14c6e945cf000647fb683ae1baa8444d0ae7158", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv/Delta.lean" }, { "type": "modify", "old_id": "c2b3698eb25963f8254404443add3a743919e85e", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv/Pattern.lean", "new_id": "12baa7ed2b1b116e9abda04d679226a998e28afc", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv/Pattern.lean" }, { "type": "modify", "old_id": "a6d3ed840bb499ceca0badeae85835d02f8ef03a", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv/Rewrite.lean", "new_id": "0223a2899275349afc8c8406afc248007d01e372", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv/Rewrite.lean" }, { "type": "modify", "old_id": "a54d5b7c5c803608fc6f93de1edf36960ea52079", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv/Simp.lean", "new_id": "17c7f0648bfc3388def0856e4da827c3fe3682d1", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv/Simp.lean" }, { "type": "modify", "old_id": "9c12e9991d845db44c99fb3d7afad16ce86c3084", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Conv/Unfold.lean", "new_id": "96d26e8d9e8acca327a8aff211bc0f5fb2c925fb", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Conv/Unfold.lean" }, { "type": "modify", "old_id": "7171b785a4217395fb6f2dfb8118e05e24b6167b", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Delta.lean", "new_id": "854ee9d195d0aac71c64d9e47d02d46a215b4199", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Delta.lean" }, { "type": "modify", "old_id": "3ce0864fbb593eb0006edd90f24309b5b6d275c2", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/ElabTerm.lean", "new_id": "300ea7a53034c479c7350141b28d76e6b5030661", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/ElabTerm.lean" }, { "type": "modify", "old_id": "5958286dba95860593c716672463b36909d40c34", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Ext.lean", "new_id": "1aefa29a69c4f149c275b02eefe369ca82f16064", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Ext.lean" }, { "type": "modify", "old_id": "f7b7ca0194f92094f19ec8f3e1649eafd9081857", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/FalseOrByContra.lean", "new_id": "7a2601c96dded7d950fdcfb37996cd73474cf0f4", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/FalseOrByContra.lean" }, { "type": "modify", "old_id": "bfbeb1548ee382206add9cc11d6178faca3aad96", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Generalize.lean", "new_id": "3860107a687bc729dfb237046cfef56dac690df7", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Generalize.lean" }, { "type": "modify", "old_id": "60e7822bbaaf7165a3a1d46d0bd9d24ba7d202c2", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Guard.lean", "new_id": "53443b34025667bb25fb83cee9965daca82e654d", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Guard.lean" }, { "type": "modify", "old_id": "ddc461f13abf3321d5dc329cbc67cfeb4cf5220c", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Induction.lean", "new_id": "10a63a5f90223e3ed04680e570353516dca545a8", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Induction.lean" }, { "type": "modify", "old_id": "7f6fe14757d0b3299202c83e5d1cbb786a81ea25", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Injection.lean", "new_id": "36ca4555fd236a1afc4beb8aca3b05c31aead7ec", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Injection.lean" }, { "type": "modify", "old_id": "ffb15c5e0116cba30c894116e46901cd179ce541", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Location.lean", "new_id": "9e4da6dd616c2ac54e91b55be94fe7243f4578d9", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Location.lean" }, { "type": "modify", "old_id": "a2eb3c86f71168939962a5f520091c7f91c86522", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Match.lean", "new_id": "f95a6fe467da8dae3fcbd52fcad328b1315a1293", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Match.lean" }, { "type": "modify", "old_id": "30d3fefc2d4e1efa6f049f39e8a603f04402e5fa", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Meta.lean", "new_id": "bb7e5a8cf5df528fdff581da6f6ccbc8f47040f5", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Meta.lean" }, { "type": "modify", "old_id": "af3506fbdf5f33c935eeb8cab0ed17a9ba905d22", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/RCases.lean", "new_id": "84ac7b7985fd31772027df9e47e08d0b4e7167ee", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/RCases.lean" }, { "type": "modify", "old_id": "b7031056203c2cb244849e412b619bce36609399", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Repeat.lean", "new_id": "06f6a71e3e8eb17530192882af094a9aaaba68c7", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Repeat.lean" }, { "type": "modify", "old_id": "0a0f1f58197da25dc032437e0e3aef19768d285e", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Rewrite.lean", "new_id": "0e2397b7fe25e4eba0a08facfd8fcce8367650d8", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Rewrite.lean" }, { "type": "modify", "old_id": "27328ef946f7fe5cb20f8566f25fde1665083bb1", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Simp.lean", "new_id": "a0141099e6c2a2e6a9d9cdadc4438fec2f190b37", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Simp.lean" }, { "type": "modify", "old_id": "0d6bef58404dca33ac8f3ccd9b6d7e6b5dee1ca1", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Simproc.lean", "new_id": "791403e8ab20bc97f5fa883ff0b86578e3d026a4", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Simproc.lean" }, { "type": "modify", "old_id": "b44eff6fd00a05e8e569bb794ed33642b17fab4c", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Split.lean", "new_id": "e01aa81bbcd1103ed3fd214933bb052baf06802e", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Split.lean" }, { "type": "modify", "old_id": "fc0936d15471f61396c1cab09012f895544970bf", "old_mode": 33188, "old_path": "src/Lean/Elab/Tactic/Unfold.lean", "new_id": "d0c3284e337afd754c7159ba82e57cf3b4567e2c", "new_mode": 33188, "new_path": "src/Lean/Elab/Tactic/Unfold.lean" }, { "type": "modify", "old_id": "1de38397f00426b22839936a10ef7918731b2a70", "old_mode": 33188, "old_path": "src/Lean/Elab/Term.lean", "new_id": "3fe086dd9c90d07f084bf26387a8082de37f9bf2", "new_mode": 33188, "new_path": "src/Lean/Elab/Term.lean" }, { "type": "modify", "old_id": "dbcb40f017d1b0ad4d4c242642163651e998a6a2", "old_mode": 33188, "old_path": "src/Lean/Elab/Util.lean", "new_id": "0dd5cfb67312ea965a247abdbe066e4482452a50", "new_mode": 33188, "new_path": "src/Lean/Elab/Util.lean" }, { "type": "modify", "old_id": "3330125a18fcbb0bc014ef5f7d6749b3dc039a0e", "old_mode": 33188, "old_path": "src/Lean/Environment.lean", "new_id": "604c0ab305696799393930eb019480a6694e06ad", "new_mode": 33188, "new_path": "src/Lean/Environment.lean" }, { "type": "modify", "old_id": "84db675133457e635cfdd91ea5949527c76b4ee6", "old_mode": 33188, "old_path": "src/Lean/Eval.lean", "new_id": "26795484d670a401cc0222dde599255e5750ec25", "new_mode": 33188, "new_path": "src/Lean/Eval.lean" }, { "type": "modify", "old_id": "2c02b4362441f9fb972a5d34a712b2750d3c4a04", "old_mode": 33188, "old_path": "src/Lean/Exception.lean", "new_id": "ce88a6cbd13e677710518cf544c01c25db86ad37", "new_mode": 33188, "new_path": "src/Lean/Exception.lean" }, { "type": "modify", "old_id": "7bd9f5b22cc35c8b8ecae89a83fe710caef8a537", "old_mode": 33188, "old_path": "src/Lean/Expr.lean", "new_id": "70f568c1d5cc803a4643186a6b12a6114eac5d82", "new_mode": 33188, "new_path": "src/Lean/Expr.lean" }, { "type": "modify", "old_id": "55b43b1b9c507e951e790ff249a128201ae270e7", "old_mode": 33188, "old_path": "src/Lean/HeadIndex.lean", "new_id": "24ea6874d55eb3d612eb99b23735088a5430b268", "new_mode": 33188, "new_path": "src/Lean/HeadIndex.lean" }, { "type": "modify", "old_id": "b47e4eaa0fee00d5dcf1229cc9e3a16229d424c0", "old_mode": 33188, "old_path": "src/Lean/Hygiene.lean", "new_id": "242b425155ff5a891d58d5ff3ed4bf9c3c0af4df", "new_mode": 33188, "new_path": "src/Lean/Hygiene.lean" }, { "type": "modify", "old_id": "16370c0f949567db1a466f5dc1a2c85310b0dc1d", "old_mode": 33188, "old_path": "src/Lean/ImportingFlag.lean", "new_id": "b8a685fa814e0b283a62de86c12bca51c76f6410", "new_mode": 33188, "new_path": "src/Lean/ImportingFlag.lean" }, { "type": "modify", "old_id": "0b72bad7ed75f4720820d040a36b5d91d7ea4325", "old_mode": 33188, "old_path": "src/Lean/InternalExceptionId.lean", "new_id": "e3c9a370eef9273d02724be3050bd873ca2b5e75", "new_mode": 33188, "new_path": "src/Lean/InternalExceptionId.lean" }, { "type": "modify", "old_id": "0e62849edb7599242085defa3263045c9a0ed4a0", "old_mode": 33188, "old_path": "src/Lean/KeyedDeclsAttribute.lean", "new_id": "bcc608cd311afbf780f02d8dae53cd6b79b13e76", "new_mode": 33188, "new_path": "src/Lean/KeyedDeclsAttribute.lean" }, { "type": "modify", "old_id": "981151ec51058000fd4084eacdc770ed7bf93477", "old_mode": 33188, "old_path": "src/Lean/LazyInitExtension.lean", "new_id": "f50b7453cc52650b3d79bcc31c5580829dd4c58c", "new_mode": 33188, "new_path": "src/Lean/LazyInitExtension.lean" }, { "type": "modify", "old_id": "94c6238b88e782179f4e12daa7a5877af682527b", "old_mode": 33188, "old_path": "src/Lean/Level.lean", "new_id": "ea9941e44978fcbc85c65ca23da162806f6aa71d", "new_mode": 33188, "new_path": "src/Lean/Level.lean" }, { "type": "modify", "old_id": "7939686c32b642c08a0e4af64cf543133f0ab8b1", "old_mode": 33188, "old_path": "src/Lean/Linter.lean", "new_id": "c0fb0aa314b5b16d5258fa805f0a8c34b942a78f", "new_mode": 33188, "new_path": "src/Lean/Linter.lean" }, { "type": "modify", "old_id": "8e532008d820750d853efcf4b2a0e122b8fe4597", "old_mode": 33188, "old_path": "src/Lean/Linter/Basic.lean", "new_id": "471e5297dc039be9c84bf15e2d780cfe881c9889", "new_mode": 33188, "new_path": "src/Lean/Linter/Basic.lean" }, { "type": "modify", "old_id": "2548e9b23a19b58a16422a79890492a0da320207", "old_mode": 33188, "old_path": "src/Lean/Linter/Builtin.lean", "new_id": "0c1fd9cca0368776fafe5d662a99cccfbe082238", "new_mode": 33188, "new_path": "src/Lean/Linter/Builtin.lean" }, { "type": "modify", "old_id": "b154439b7656b22e8b13a74b09aba2f1c0681bd2", "old_mode": 33188, "old_path": "src/Lean/Linter/Deprecated.lean", "new_id": "8b5463945c57f4ce54c1bc452049ab5d5c73f40f", "new_mode": 33188, "new_path": "src/Lean/Linter/Deprecated.lean" }, { "type": "modify", "old_id": "a06ee655f635320d2b3d9cb944c80bc65d6c261b", "old_mode": 33188, "old_path": "src/Lean/Linter/MissingDocs.lean", "new_id": "868cf55ee3ffbe5e15c131e1e31cc5343dd339df", "new_mode": 33188, "new_path": "src/Lean/Linter/MissingDocs.lean" }, { "type": "modify", "old_id": "63fd8803bd439105ff9951719c57081dd70e7e5b", "old_mode": 33188, "old_path": "src/Lean/Linter/UnusedVariables.lean", "new_id": "a0518a7e6cc6f6396e261a50813e85ecdf14e8a9", "new_mode": 33188, "new_path": "src/Lean/Linter/UnusedVariables.lean" }, { "type": "modify", "old_id": "62e487bbd415fcd3d7e64070e40f6ce9ee9c6a7a", "old_mode": 33188, "old_path": "src/Lean/Linter/Util.lean", "new_id": "c64410d1cb5cd7e626f8241540179bd5489c40a0", "new_mode": 33188, "new_path": "src/Lean/Linter/Util.lean" }, { "type": "modify", "old_id": "f076d7c59611b2fa935d64d762b62bae01d543ea", "old_mode": 33188, "old_path": "src/Lean/LoadDynlib.lean", "new_id": "24b54bf9574200281e498e65f0fd5cfff1ff3401", "new_mode": 33188, "new_path": "src/Lean/LoadDynlib.lean" }, { "type": "modify", "old_id": "ddf0ea9a4a168e7e6a386830b54d2a6d5f383894", "old_mode": 33188, "old_path": "src/Lean/LocalContext.lean", "new_id": "10dd1d3d6f1010ae2fd6d1add12a2865d4605b85", "new_mode": 33188, "new_path": "src/Lean/LocalContext.lean" }, { "type": "modify", "old_id": "3076f8489a84a19c334b3df702e0268c8631111f", "old_mode": 33188, "old_path": "src/Lean/Log.lean", "new_id": "6485e15a1ffcf2fbded52d7a466384b06dec55df", "new_mode": 33188, "new_path": "src/Lean/Log.lean" }, { "type": "modify", "old_id": "8357305f52bd236214dc8db00734cb935463da07", "old_mode": 33188, "old_path": "src/Lean/Message.lean", "new_id": "d51a1d9c5d94a7ce12b9e47fb9b51d148737631b", "new_mode": 33188, "new_path": "src/Lean/Message.lean" }, { "type": "modify", "old_id": "4aefcdb19a4bd56a5b4e665b7730121c402fe712", "old_mode": 33188, "old_path": "src/Lean/Meta.lean", "new_id": "92c2a56150943ac11fd6457111c60888e6d633d1", "new_mode": 33188, "new_path": "src/Lean/Meta.lean" }, { "type": "modify", "old_id": "609cd6b39a78a3ed8db67fc71e1ac085ca0496d2", "old_mode": 33188, "old_path": "src/Lean/Meta/ACLt.lean", "new_id": "a2d89375fb2691c0c08201fafe29aa0fbe0459d5", "new_mode": 33188, "new_path": "src/Lean/Meta/ACLt.lean" }, { "type": "modify", "old_id": "d5d7597c1f5f1df835c48b320bef11fe5c5878fd", "old_mode": 33188, "old_path": "src/Lean/Meta/AbstractMVars.lean", "new_id": "5f2f680f29df8a968a9342b0bc0064a8b219444d", "new_mode": 33188, "new_path": "src/Lean/Meta/AbstractMVars.lean" }, { "type": "modify", "old_id": "3779a2679c34834c7bb137fb9085f3c2780769fe", "old_mode": 33188, "old_path": "src/Lean/Meta/AbstractNestedProofs.lean", "new_id": "0aaf8d50d2ba9ed7a205e6a1f69e6e6235da3028", "new_mode": 33188, "new_path": "src/Lean/Meta/AbstractNestedProofs.lean" }, { "type": "modify", "old_id": "68ee8e20a46fc890170acad69acf7e3c769fafd9", "old_mode": 33188, "old_path": "src/Lean/Meta/AppBuilder.lean", "new_id": "bcccb54951f69d029fc52546a14493ceb7583b6f", "new_mode": 33188, "new_path": "src/Lean/Meta/AppBuilder.lean" }, { "type": "modify", "old_id": "48abfe834e1050db3d919c7fb76eea14500e1a81", "old_mode": 33188, "old_path": "src/Lean/Meta/Basic.lean", "new_id": "c5948d9956683bde5bc0b1d1748daadb84a2e9f7", "new_mode": 33188, "new_path": "src/Lean/Meta/Basic.lean" }, { "type": "modify", "old_id": "925a3de957769eec127546fd177c9fbffa714b9e", "old_mode": 33188, "old_path": "src/Lean/Meta/Check.lean", "new_id": "87d0e87ef05b328f6a289090a455d463100fd8a5", "new_mode": 33188, "new_path": "src/Lean/Meta/Check.lean" }, { "type": "modify", "old_id": "6729197b2f4978eb7680520f759ee6f1da48a59e", "old_mode": 33188, "old_path": "src/Lean/Meta/Closure.lean", "new_id": "f50c360030290afcc73b2f0d99764031ed1463c8", "new_mode": 33188, "new_path": "src/Lean/Meta/Closure.lean" }, { "type": "modify", "old_id": "b06fed21854edb4e09d13ea7e94a4a21e7a66146", "old_mode": 33188, "old_path": "src/Lean/Meta/Coe.lean", "new_id": "001e2e150df9c7194102ea4dab71d8fbf59f03ad", "new_mode": 33188, "new_path": "src/Lean/Meta/Coe.lean" }, { "type": "modify", "old_id": "5a2449505b8c14d5eb6b1ccc2cf23bd5dc3136c0", "old_mode": 33188, "old_path": "src/Lean/Meta/CoeAttr.lean", "new_id": "0509cd2b2217c654a13e894e58d26a09427bbeb1", "new_mode": 33188, "new_path": "src/Lean/Meta/CoeAttr.lean" }, { "type": "modify", "old_id": "f787070eea90ea92dc81deedc11a608b5b461005", "old_mode": 33188, "old_path": "src/Lean/Meta/CollectFVars.lean", "new_id": "61fee76a6e0d2af2beb2e67d909b73869b864fbb", "new_mode": 33188, "new_path": "src/Lean/Meta/CollectFVars.lean" }, { "type": "modify", "old_id": "bcde280f4914d5af0e7169fcaa46cb8ea6d21e18", "old_mode": 33188, "old_path": "src/Lean/Meta/CollectMVars.lean", "new_id": "0bb58aa8e66057fd756fa635c443c9c179b3f425", "new_mode": 33188, "new_path": "src/Lean/Meta/CollectMVars.lean" }, { "type": "modify", "old_id": "1e63a91af16c4a6285a7124bc37183d632b215ea", "old_mode": 33188, "old_path": "src/Lean/Meta/CongrTheorems.lean", "new_id": "498e2f9bf9437705a56bf204082eeea66ece5f33", "new_mode": 33188, "new_path": "src/Lean/Meta/CongrTheorems.lean" }, { "type": "modify", "old_id": "a3dc55cc46bf46529ba6bc936597eb2d6de350cc", "old_mode": 33188, "old_path": "src/Lean/Meta/Constructions.lean", "new_id": "4eabaf48858acdf3ef84f2c1c7308446ee770caf", "new_mode": 33188, "new_path": "src/Lean/Meta/Constructions.lean" }, { "type": "modify", "old_id": "3cc5fe3c9135474d76c8136c05e2ff36f9b72810", "old_mode": 33188, "old_path": "src/Lean/Meta/DecLevel.lean", "new_id": "35c92b5324960c41c41b3fddc922bd87b4561322", "new_mode": 33188, "new_path": "src/Lean/Meta/DecLevel.lean" }, { "type": "modify", "old_id": "0e390142e0a956583382ce08355b8c2c970bab22", "old_mode": 33188, "old_path": "src/Lean/Meta/DiscrTree.lean", "new_id": "9b569b7f0cbe4f70ceae2bedd0e30fe1d46df792", "new_mode": 33188, "new_path": "src/Lean/Meta/DiscrTree.lean" }, { "type": "modify", "old_id": "89c8fc82c05d516748907ba2758c1b0ef6917e31", "old_mode": 33188, "old_path": "src/Lean/Meta/DiscrTreeTypes.lean", "new_id": "d0e96aa6250623d0096c6a2b2bf4b5541180892b", "new_mode": 33188, "new_path": "src/Lean/Meta/DiscrTreeTypes.lean" }, { "type": "modify", "old_id": "1f24631df82c903fd2ac4a2e01267a2f654d4d41", "old_mode": 33188, "old_path": "src/Lean/Meta/Eqns.lean", "new_id": "343a779c28298c6564848be36b4aaa4a2514f5fa", "new_mode": 33188, "new_path": "src/Lean/Meta/Eqns.lean" }, { "type": "modify", "old_id": "5145a67df9b52b90f98bb24a8d7a7cbe0ddc23b1", "old_mode": 33188, "old_path": "src/Lean/Meta/Eval.lean", "new_id": "d4aa167213cde0145d0eec7b0d642d2b928d59f4", "new_mode": 33188, "new_path": "src/Lean/Meta/Eval.lean" }, { "type": "modify", "old_id": "086fa1fc6c864cc0c5e671a0351d4324b3b889e2", "old_mode": 33188, "old_path": "src/Lean/Meta/ExprDefEq.lean", "new_id": "be730e9cbb469b34c99a83018c90bc7b06d4d2c6", "new_mode": 33188, "new_path": "src/Lean/Meta/ExprDefEq.lean" }, { "type": "modify", "old_id": "a794eaafde03fb51fbf405bf05e1f08377c9ccc2", "old_mode": 33188, "old_path": "src/Lean/Meta/ExprLens.lean", "new_id": "9caa59e0993ecd25b4591c7816a9a786b2ff74d7", "new_mode": 33188, "new_path": "src/Lean/Meta/ExprLens.lean" }, { "type": "modify", "old_id": "12aa04783380a656aad91e3b768d936e1059e34c", "old_mode": 33188, "old_path": "src/Lean/Meta/ExprTraverse.lean", "new_id": "5ee365fc3c83e52b0f55c43d84ce548473687148", "new_mode": 33188, "new_path": "src/Lean/Meta/ExprTraverse.lean" }, { "type": "modify", "old_id": "b0c729ce811fca8e53b4ff08e28cbc4dc9eb3fdf", "old_mode": 33188, "old_path": "src/Lean/Meta/ForEachExpr.lean", "new_id": "cc73c7810b73f72965afe898a58f059f226ce7ce", "new_mode": 33188, "new_path": "src/Lean/Meta/ForEachExpr.lean" }, { "type": "modify", "old_id": "9194fa7bd53f96b0672ea20cba3a653228af9ebf", "old_mode": 33188, "old_path": "src/Lean/Meta/FunInfo.lean", "new_id": "34d6e318aabadbb227892b4d243953b10dbaada3", "new_mode": 33188, "new_path": "src/Lean/Meta/FunInfo.lean" }, { "type": "modify", "old_id": "d6a77e87edd42ed2fcedc8da5736cb4fd4b8facd", "old_mode": 33188, "old_path": "src/Lean/Meta/GeneralizeTelescope.lean", "new_id": "7fadafbd9e4ce83ef7452f8139c4c17b99d93c4a", "new_mode": 33188, "new_path": "src/Lean/Meta/GeneralizeTelescope.lean" }, { "type": "modify", "old_id": "127903bd0f98862dc464c825326a97896f68ffa4", "old_mode": 33188, "old_path": "src/Lean/Meta/GeneralizeVars.lean", "new_id": "ff8701251c9af2cb2061cbbcff33c0ca751b3a7e", "new_mode": 33188, "new_path": "src/Lean/Meta/GeneralizeVars.lean" }, { "type": "modify", "old_id": "77c7bee0753d26293196f01607d71d32e9c8f61c", "old_mode": 33188, "old_path": "src/Lean/Meta/GetUnfoldableConst.lean", "new_id": "bb71077af486fd6164d00edea7579a7d8edd9ff9", "new_mode": 33188, "new_path": "src/Lean/Meta/GetUnfoldableConst.lean" }, { "type": "modify", "old_id": "db9b7e5c3e16e667c750fbc7c89348fa348ffbc1", "old_mode": 33188, "old_path": "src/Lean/Meta/GlobalInstances.lean", "new_id": "1cb5401f00ef3e4fc6160bafa119a22b1bfec889", "new_mode": 33188, "new_path": "src/Lean/Meta/GlobalInstances.lean" }, { "type": "modify", "old_id": "ea6acdec422280d615f8a89926bc60d35e5be7df", "old_mode": 33188, "old_path": "src/Lean/Meta/IndPredBelow.lean", "new_id": "83af0c774ac65e41276789b71e7e1418e51153ee", "new_mode": 33188, "new_path": "src/Lean/Meta/IndPredBelow.lean" }, { "type": "modify", "old_id": "25ba641af1e14c69f12bcf82b854d9cd112cecfa", "old_mode": 33188, "old_path": "src/Lean/Meta/Inductive.lean", "new_id": "98f06a779e59297d57451477787d92a32eed7df0", "new_mode": 33188, "new_path": "src/Lean/Meta/Inductive.lean" }, { "type": "modify", "old_id": "fa2a43719983a6d787ca7c1eae863ee079a9d7c5", "old_mode": 33188, "old_path": "src/Lean/Meta/InferType.lean", "new_id": "163755dc0d807c8d0cd3e9e1a173e3a0cec217de", "new_mode": 33188, "new_path": "src/Lean/Meta/InferType.lean" }, { "type": "modify", "old_id": "d4d5cef408262351e08c4b8baf210317c628370e", "old_mode": 33188, "old_path": "src/Lean/Meta/Injective.lean", "new_id": "a1a3ea6a6a59e3f51f51004c10a97b295ec691c6", "new_mode": 33188, "new_path": "src/Lean/Meta/Injective.lean" }, { "type": "modify", "old_id": "953e5e1c59dde3f2d7f9827df04921b0b285c3fe", "old_mode": 33188, "old_path": "src/Lean/Meta/Instances.lean", "new_id": "98697e050babf52b4b2a9072e9490932bb5872d7", "new_mode": 33188, "new_path": "src/Lean/Meta/Instances.lean" }, { "type": "modify", "old_id": "8196f47c14d1a395f8b343be24faeb95093860c0", "old_mode": 33188, "old_path": "src/Lean/Meta/KAbstract.lean", "new_id": "eedd285e155156041653b482321b61f83c68aa05", "new_mode": 33188, "new_path": "src/Lean/Meta/KAbstract.lean" }, { "type": "modify", "old_id": "55c61e9133afd8abc556ee0ca34bf1f34aac9a5e", "old_mode": 33188, "old_path": "src/Lean/Meta/KExprMap.lean", "new_id": "2472df8f3b1faf84ebd381220d0751d64a0a4b89", "new_mode": 33188, "new_path": "src/Lean/Meta/KExprMap.lean" }, { "type": "modify", "old_id": "d8bdfef12349c0f1385de7164ac9238a6a36b559", "old_mode": 33188, "old_path": "src/Lean/Meta/LevelDefEq.lean", "new_id": "82607a327bb3ff430b51ff7397647f16a885258f", "new_mode": 33188, "new_path": "src/Lean/Meta/LevelDefEq.lean" }, { "type": "modify", "old_id": "676da5b6b7e8a39923fe17bf498a73b4662f4fe8", "old_mode": 33188, "old_path": "src/Lean/Meta/Match.lean", "new_id": "15514eb876b1a77b0f6dfe42821c561a940ab666", "new_mode": 33188, "new_path": "src/Lean/Meta/Match.lean" }, { "type": "modify", "old_id": "c674067babd55bf8ccf997f06bfe58308bdd933c", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/Basic.lean", "new_id": "82679f27196cc12895d193d526be862e6481ced3", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/Basic.lean" }, { "type": "modify", "old_id": "3d9832d7f44c346f0844d617c5a21fdefec18214", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/CaseArraySizes.lean", "new_id": "d3a78ed21ed4d2791f52f50c9e5b2999d9f32547", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/CaseArraySizes.lean" }, { "type": "modify", "old_id": "aac439af6ce43b4bd7f5280272b6cca4ca72dbc6", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/CaseValues.lean", "new_id": "93726bd213cb0ee82c302f64a6384fd15cf6a577", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/CaseValues.lean" }, { "type": "modify", "old_id": "366ad65e34c1827fdc1b489aba2c124b38b92fe3", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/MVarRenaming.lean", "new_id": "f177c8dc87b5685449e048136607f58269b1c9e0", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/MVarRenaming.lean" }, { "type": "modify", "old_id": "3834316cf69cc310f7f2b54d504073ce3ea8304a", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/Match.lean", "new_id": "e3cdc9259cb0b3a1ef3986cf144ad00d9e44fc43", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/Match.lean" }, { "type": "modify", "old_id": "f9212a366f4fed17fbdedd3dd22a798cdbf04e3f", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/MatchEqs.lean", "new_id": "75f1093a0ee035071b529255a5f90a94b266f14b", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/MatchEqs.lean" }, { "type": "modify", "old_id": "68be6001ed566d587de8c2bbd8ed2450afda3fd6", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/MatchEqsExt.lean", "new_id": "6cc20583007f480bf2eb8ba037527a535ef4e825", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/MatchEqsExt.lean" }, { "type": "modify", "old_id": "fb6044fb41a20cf6a8de2fe7fb34c89ffeddf0c6", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/MatchPatternAttr.lean", "new_id": "f731e0ab3a031177f3de1d86b0caa7567d7b4400", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/MatchPatternAttr.lean" }, { "type": "modify", "old_id": "994b7ae57299c921e2fa6120ba8dec61321bf213", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/MatcherInfo.lean", "new_id": "d30a6b6d48355d8f4607a5612e83dd9c88e83a8d", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/MatcherInfo.lean" }, { "type": "modify", "old_id": "ba6e35927ba0f750aec09c3c699f0ac8a186b458", "old_mode": 33188, "old_path": "src/Lean/Meta/Match/Value.lean", "new_id": "1b9f6215d2999aba58fca87a75bcf4d3e832d21d", "new_mode": 33188, "new_path": "src/Lean/Meta/Match/Value.lean" }, { "type": "modify", "old_id": "a4e8b5ffa0fb2b352571a5af5256c1d997db11d8", "old_mode": 33188, "old_path": "src/Lean/Meta/MatchUtil.lean", "new_id": "2cef9fb77a6011df9105bae79539356f8af5f98b", "new_mode": 33188, "new_path": "src/Lean/Meta/MatchUtil.lean" }, { "type": "modify", "old_id": "3d87c7f97129b4b65e6248f407c6935bfab90bfd", "old_mode": 33188, "old_path": "src/Lean/Meta/Offset.lean", "new_id": "ba46b435b2ae121eb9da3555d7594e20f3a773ff", "new_mode": 33188, "new_path": "src/Lean/Meta/Offset.lean" }, { "type": "modify", "old_id": "23ac5268bbcbad3b3ad8149d56aa7bd2ada715fa", "old_mode": 33188, "old_path": "src/Lean/Meta/PPGoal.lean", "new_id": "1ca8d6578935c3f0c77960d6f9b803514b930d18", "new_mode": 33188, "new_path": "src/Lean/Meta/PPGoal.lean" }, { "type": "modify", "old_id": "824d069673a0176d11ac564cf1daa70e5a512721", "old_mode": 33188, "old_path": "src/Lean/Meta/RecursorInfo.lean", "new_id": "342f93e4aca8f6fd5fdfd22b215b38d535ea6c71", "new_mode": 33188, "new_path": "src/Lean/Meta/RecursorInfo.lean" }, { "type": "modify", "old_id": "27765dc65588d48625d4e2de897feeca99aa49ef", "old_mode": 33188, "old_path": "src/Lean/Meta/Reduce.lean", "new_id": "3fb4d31e836a8a02f448e5dec16c8cccc80e032e", "new_mode": 33188, "new_path": "src/Lean/Meta/Reduce.lean" }, { "type": "modify", "old_id": "e6db75a10b4e7598590559ffce7f27f21646fa8e", "old_mode": 33188, "old_path": "src/Lean/Meta/ReduceEval.lean", "new_id": "e25069ca81c3d3a7e857676d898701e6b38ee3de", "new_mode": 33188, "new_path": "src/Lean/Meta/ReduceEval.lean" }, { "type": "modify", "old_id": "be337143d0c62591d10636a241a45fbbe745023f", "old_mode": 33188, "old_path": "src/Lean/Meta/SizeOf.lean", "new_id": "fa38b984cc1ee93c9236ffe142e39378603d2584", "new_mode": 33188, "new_path": "src/Lean/Meta/SizeOf.lean" }, { "type": "modify", "old_id": "f7f46a462228c785fa99f75fcf80cf2b287043fa", "old_mode": 33188, "old_path": "src/Lean/Meta/Structure.lean", "new_id": "63f5b494a98360594008b30a905bd5127062d9bd", "new_mode": 33188, "new_path": "src/Lean/Meta/Structure.lean" }, { "type": "modify", "old_id": "a43a168c01ec94d7f2a47362022205562eb43192", "old_mode": 33188, "old_path": "src/Lean/Meta/SynthInstance.lean", "new_id": "6233a8eb753df46f2ac6ea9c6230ac66e57cc2e4", "new_mode": 33188, "new_path": "src/Lean/Meta/SynthInstance.lean" }, { "type": "modify", "old_id": "d4ef86fd02b064bd3c86a8a49de98d61f62ab881", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic.lean", "new_id": "9bbfee705c8aa52dddd3158afd30698a6b81c17b", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic.lean" }, { "type": "modify", "old_id": "bd8aede0ec79b28cd59fe20c0c2a81397b182872", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/AC.lean", "new_id": "15469048c2aee92c9e27baf58cfa0f9a90a2738a", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/AC.lean" }, { "type": "modify", "old_id": "e3abecc49fd63d89bc901661cc31e3f31933fd09", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/AC/Main.lean", "new_id": "cec11750ecf3005817ee3de7305b231b7dcae033", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/AC/Main.lean" }, { "type": "modify", "old_id": "7c7d9a39c054567944dd977fd4030ed565190ffb", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Acyclic.lean", "new_id": "104f0064ed50faaf9ce5c86083037f61425057eb", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Acyclic.lean" }, { "type": "modify", "old_id": "c8c5532199514020a41cf9a636845b151b6d3c82", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Apply.lean", "new_id": "252b26255700a5cb8bcfa85c53815fdbf7f6e3a2", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Apply.lean" }, { "type": "modify", "old_id": "6d565fe008602925c6d0a8e5ee294722873eec63", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Assert.lean", "new_id": "627adf5d6c0e10794e1fa692cac770af8d861585", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Assert.lean" }, { "type": "modify", "old_id": "83f275a3007202504d9910cfa34518ed44b5e221", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Assumption.lean", "new_id": "629ff573cc34731d37c9e0b1bdc7cc1da89b6ad6", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Assumption.lean" }, { "type": "modify", "old_id": "d95ac684de1ea118a7e9e49f8be7b96686efc8c4", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/AuxLemma.lean", "new_id": "eeb21b8c0dee2d9c1733469658709fc122653ed6", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/AuxLemma.lean" }, { "type": "modify", "old_id": "3fd14009f4d5e14a0d60403e64651b32ea1df13f", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Cases.lean", "new_id": "e25f39aae8d4974077ea98cc56f7e4f5f6663485", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Cases.lean" }, { "type": "modify", "old_id": "91692c0ad6788ed0b0090ab5a5dbc7106f830608", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Cleanup.lean", "new_id": "3cb5bfb0e296c6a572b360fe2d750f4e75b064bc", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Cleanup.lean" }, { "type": "modify", "old_id": "c996fe88397b01212b399dbfcba5c0d771906c08", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Clear.lean", "new_id": "5a2006120172dab5979d73cd1594a2d6a2e45fef", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Clear.lean" }, { "type": "modify", "old_id": "90cfb6affe3f60eaf80aafb7972a3009e99d77d2", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Congr.lean", "new_id": "518ffe646c0dd783a4bf90f1e7da88cb4969b971", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Congr.lean" }, { "type": "modify", "old_id": "ff6ed556924f3cb89be7c23871169f8c704d2893", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Constructor.lean", "new_id": "004c54277b0fac86c6cb7e65338f931a87daa77f", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Constructor.lean" }, { "type": "modify", "old_id": "607f1e9d95c5dfdb7f7bbef321c914d2f1c02f76", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Contradiction.lean", "new_id": "a296d92fb8c5c41f92d7c7a1160bcfa618910e24", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Contradiction.lean" }, { "type": "modify", "old_id": "925997ce41ca6260e7dcc7cc12c89e70be0f0a74", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Delta.lean", "new_id": "321f5b1c83b64053e8e5e0e5dac81aeef1331e0a", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Delta.lean" }, { "type": "modify", "old_id": "19153fc3be8f8846cc3e96a7127e1c08b27a0ec7", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/ElimInfo.lean", "new_id": "9343a7ace27ac3ff13eaa6a3425d05b54b903374", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/ElimInfo.lean" }, { "type": "modify", "old_id": "3cbd2e4d986a034669464fa27346539094ef22e2", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/FVarSubst.lean", "new_id": "281ed4f2e7534665fce7239da4bca87e48f271de", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/FVarSubst.lean" }, { "type": "modify", "old_id": "ff3993ba39f226375edb3fff94aac167a924c43a", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Generalize.lean", "new_id": "d2a9a0df1f2dd41c7cb7839ee8cbe88bea450aef", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Generalize.lean" }, { "type": "modify", "old_id": "d8bb03cf24585cd625e286e94e7a1c5834e07f06", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Induction.lean", "new_id": "5ae4a2c8e099be7eb7c15d3b6469572371f8414d", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Induction.lean" }, { "type": "modify", "old_id": "584df558a38e079a274bcadddc33d7e82c60f3a7", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Injection.lean", "new_id": "9729140e04f61d2e1f5dd568f135ea54675393a6", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Injection.lean" }, { "type": "modify", "old_id": "64e3312e997826d1b5e7dc3db2851298626e634b", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Intro.lean", "new_id": "6744d8780b5a9b7bf8eafd5ef3a1088d3ea47061", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Intro.lean" }, { "type": "modify", "old_id": "cadcc6067f3804c211b3f738caf40b021d9898a7", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith.lean", "new_id": "bec9a08d2b79f40bbbe798c4c47901055fc04986", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith.lean" }, { "type": "modify", "old_id": "4e35c0449c3226f182be158e2075300c22f3c49c", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith/Basic.lean", "new_id": "0811a0a71a361c732674333bbb7a409f99a27189", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith/Basic.lean" }, { "type": "modify", "old_id": "7145f38cc335306885bd81ff4ffdb656bb15fed3", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith/Main.lean", "new_id": "a3bdd8e9b770cef5fd14d059f446b271d6401d62", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith/Main.lean" }, { "type": "modify", "old_id": "a31bdc1732d14deba700cf7cae8050c6f7739695", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith/Nat.lean", "new_id": "d36c509d7e0d1d22ccac08eced41967c9a2fce9a", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith/Nat.lean" }, { "type": "modify", "old_id": "250e3aa77159f7cd78618432d4514a6b43e10acf", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith/Nat/Basic.lean", "new_id": "3be8fd9ece89845bfb0e612f6192e8d677ade19f", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith/Nat/Basic.lean" }, { "type": "modify", "old_id": "75bd1b4a8a1686fb6615d093c255849f7d2e7530", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith/Nat/Simp.lean", "new_id": "576dcccba212153b2bcbb97d40d1ace19449e9de", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith/Nat/Simp.lean" }, { "type": "modify", "old_id": "59fc01fdaf719a166e306502f6e0038b144d5120", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith/Nat/Solver.lean", "new_id": "49c58eecf694445a65fd08a9fa62c7de35b042a4", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith/Nat/Solver.lean" }, { "type": "modify", "old_id": "81f3f96e7570019f2ce3365d6ab65fa5e74cc548", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith/Simp.lean", "new_id": "2dd5d20d21957c477cb827e34a2113bb79e36b24", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith/Simp.lean" }, { "type": "modify", "old_id": "adcf75f109e5ebe19570c6033e7a49ffb80d8e61", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/LinearArith/Solver.lean", "new_id": "ec779978d6696f87806bbbb1fc4ef00e0744a54b", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/LinearArith/Solver.lean" }, { "type": "modify", "old_id": "f40d595d4dcd26198e2a638e88b0db137e5766f8", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Refl.lean", "new_id": "13c61a18812e698dee94630a23242377f6c69fd5", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Refl.lean" }, { "type": "modify", "old_id": "ce92193ab341698778622833250158c93813908e", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Rename.lean", "new_id": "706c3ab7ca0c3edb7fd61190ebdc60f32732bf83", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Rename.lean" }, { "type": "modify", "old_id": "86d0490955f9c46db417d360de21cd68ea8cfd8f", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Repeat.lean", "new_id": "ac56f054d63e55e72dbbdf81113e4aecb3081331", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Repeat.lean" }, { "type": "modify", "old_id": "99df6e5df565a69b8ff30b045aa4bcb161f338ca", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Replace.lean", "new_id": "aea7bb8ef2a390648705ca52bd9b717e2967c83b", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Replace.lean" }, { "type": "modify", "old_id": "c38195b6822a18c75d8f2f4c91f23d7d92249b8e", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Revert.lean", "new_id": "e0b9cfec99391ff44ffeb93b16a20b8880268212", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Revert.lean" }, { "type": "modify", "old_id": "6072f38fa30bc6ce6ce6eed6a0ed8d03d6bc228c", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Rewrite.lean", "new_id": "118c636d8758d7860ca50d86b26fa6f260098378", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Rewrite.lean" }, { "type": "modify", "old_id": "9b40225b310fc8e49eb4c9f700be78f243eaaa5a", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp.lean", "new_id": "3afb43498f00a848caed4f7c872e02af88bf6056", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp.lean" }, { "type": "modify", "old_id": "cccd0fc86d54f1456f44cec7f7baee8f26838337", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs.lean", "new_id": "624019b736f4137ea49fa84b05d07ba87193e955", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs.lean" }, { "type": "modify", "old_id": "bbf5c033333207cac79f6fd875767708ce521469", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean", "new_id": "948e3241ffd44d0285d857af1b555f8f4fc22b37", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean" }, { "type": "modify", "old_id": "55adb9071957f4fc49c9cac6a59132353044cb75", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.lean", "new_id": "9165bc5b35b75f231e27eaac9d68918f79149750", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.lean" }, { "type": "modify", "old_id": "58d5f1a0f5854c791c522409c2a8f8e312b037cb", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.lean", "new_id": "5064bd8307ecbfe7bfe57f83e08c03a72946b1dd", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.lean" }, { "type": "modify", "old_id": "deb7100c33334ad43068bbfabd7b50b8274666da", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean", "new_id": "357f745a46c0e892104f77947a9799ba56048b25", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean" }, { "type": "modify", "old_id": "8fb077a04a7bcbf44c0e3605dda03c983fbba54c", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.lean", "new_id": "d230504144c4887d6626311e1736c35e558680e6", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.lean" }, { "type": "modify", "old_id": "2d4a6184a97931478ca25381bf4f4f209f7099f4", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Util.lean", "new_id": "72d9ade973fd56f6b1e965b0046645c9755f67c9", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Util.lean" }, { "type": "modify", "old_id": "c8846c8f9b991338ccae42bf407ffeb178da95f1", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean", "new_id": "45a66b8c5c13e780bfa8479402d6eb629fd2bce1", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean" }, { "type": "modify", "old_id": "65497836de8ef769841609144286f3501865ad58", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/RegisterCommand.lean", "new_id": "7f8829a8dab7f7a33336c0d50f06cb840c9d9a6e", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/RegisterCommand.lean" }, { "type": "modify", "old_id": "3d60d435b8b856fcd9963bf327f0050ec0ec3190", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean", "new_id": "39197f24fcd4dbfde07ce25edb8f8adb5405747b", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean" }, { "type": "modify", "old_id": "a5ba1fc44f4df078590615693ac6095f7c08921d", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/SimpAll.lean", "new_id": "fa363c2534fc5de80b12e628e0786eaf7cfe0226", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/SimpAll.lean" }, { "type": "modify", "old_id": "c934ec7459a415765ec8cdea5ed5fb88c8af6121", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/SimpCongrTheorems.lean", "new_id": "6b8189bcc4e212b348f7787a5ef4c401557fa891", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/SimpCongrTheorems.lean" }, { "type": "modify", "old_id": "21ee949545834d57243ff02e905251582663e6f2", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/SimpTheorems.lean", "new_id": "63e66ae03110d75822aa72fad65eaf5028d8a403", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/SimpTheorems.lean" }, { "type": "modify", "old_id": "221da5f603025b91e1ba47ac4fa3206b3667c4a8", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/Simproc.lean", "new_id": "5afc964ffedc1b0fb6575851546aaea3e35e742f", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/Simproc.lean" }, { "type": "modify", "old_id": "28867c59d8c2b5875bc749a32948fb9e286c7a0a", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Simp/Types.lean", "new_id": "d52286b00b7c51c0752937d7c216599f90e6a4e4", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Simp/Types.lean" }, { "type": "modify", "old_id": "ec4b67be42a4f62f48448c61a9daec3b81f8729e", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Split.lean", "new_id": "18f65c2297641a6a22a00c901a9c727ab2823645", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Split.lean" }, { "type": "modify", "old_id": "eb5443be5d51a84771790d7eaf8f95a64ad252a8", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/SplitIf.lean", "new_id": "2dab6a54555cf00f772dc75a3fda2f0c7dfeb070", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/SplitIf.lean" }, { "type": "modify", "old_id": "5b672f1cdb0ed734d0ff0acd8234881cdc1b17c3", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Subst.lean", "new_id": "8b3f484b3466b6772368764df140d7ce0d893b52", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Subst.lean" }, { "type": "modify", "old_id": "f7d3142c4a8fabd275e35342d9c67bcc83db240b", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/TryThis.lean", "new_id": "8be997216d9b2254280f6fa21b6c19f3c7b0c5c0", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/TryThis.lean" }, { "type": "modify", "old_id": "8d9b79c08fd4407e0c086028722f9461a0522c26", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Unfold.lean", "new_id": "773df7f2ba6ee2db27d0d8c10baf70aeda19702d", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Unfold.lean" }, { "type": "modify", "old_id": "edf83975e00f3f3209f94679d762c4992a5e8b7e", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/UnifyEq.lean", "new_id": "2c15d08ebb5480956596e2b9bc7b582e9efaeb54", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/UnifyEq.lean" }, { "type": "modify", "old_id": "e6fb759249b0c9b71c3153540c564a93006d88d3", "old_mode": 33188, "old_path": "src/Lean/Meta/Tactic/Util.lean", "new_id": "4d5870db2776f7f31b157bd711e3e83dbdee93bf", "new_mode": 33188, "new_path": "src/Lean/Meta/Tactic/Util.lean" }, { "type": "modify", "old_id": "4db24ed58cf2ddd34bade9afc4582a6f62c5cf9b", "old_mode": 33188, "old_path": "src/Lean/Meta/Transform.lean", "new_id": "ecc660a3322fdd166788705bd7517e9c40f0c66d", "new_mode": 33188, "new_path": "src/Lean/Meta/Transform.lean" }, { "type": "modify", "old_id": "9c947ebb6968a7c761ea487c4d051f9bf166d4a2", "old_mode": 33188, "old_path": "src/Lean/Meta/TransparencyMode.lean", "new_id": "cc0c7174ba705974a7a52f5149786ada9e1511a0", "new_mode": 33188, "new_path": "src/Lean/Meta/TransparencyMode.lean" }, { "type": "modify", "old_id": "d08e1e9535783beae9a7614d899856b5749c4926", "old_mode": 33188, "old_path": "src/Lean/Meta/UnificationHint.lean", "new_id": "743d5f4ffb5b17e72241a4915fbc394a81803efd", "new_mode": 33188, "new_path": "src/Lean/Meta/UnificationHint.lean" }, { "type": "modify", "old_id": "0df12e501fac7079cf9dd33564ef33fcbd37c67d", "old_mode": 33188, "old_path": "src/Lean/Meta/WHNF.lean", "new_id": "a08eb7c0a4cbd095dc39ab0bdea7abe01628e565", "new_mode": 33188, "new_path": "src/Lean/Meta/WHNF.lean" }, { "type": "modify", "old_id": "1cfabb4cb51977e6ca4f1de9298c3d9f262d6f8d", "old_mode": 33188, "old_path": "src/Lean/MetavarContext.lean", "new_id": "98e84d86c87b59e5a0fbb34d6719f7b27621bcb1", "new_mode": 33188, "new_path": "src/Lean/MetavarContext.lean" }, { "type": "modify", "old_id": "741c69af097212bca4517ac6aaa83d2906cdd437", "old_mode": 33188, "old_path": "src/Lean/Modifiers.lean", "new_id": "66674b4c619a4b4bce473dffcc35c7fd4e207970", "new_mode": 33188, "new_path": "src/Lean/Modifiers.lean" }, { "type": "modify", "old_id": "6e3b4011e642f42b6e0920820f98dc904c9679e5", "old_mode": 33188, "old_path": "src/Lean/MonadEnv.lean", "new_id": "87925d73037cfe376e8d0652c12180be24ae0464", "new_mode": 33188, "new_path": "src/Lean/MonadEnv.lean" }, { "type": "modify", "old_id": "7745db80ed2083efeda7c44318e7c7634824dc38", "old_mode": 33188, "old_path": "src/Lean/Parser.lean", "new_id": "fe2e6cfb0715063905ddb1d3458451a6414074e0", "new_mode": 33188, "new_path": "src/Lean/Parser.lean" }, { "type": "modify", "old_id": "457416842b97ec1005792230c876a70856825e33", "old_mode": 33188, "old_path": "src/Lean/Parser/Attr.lean", "new_id": "1c19f4c85bc47fdc4053efd94829739df2e048ae", "new_mode": 33188, "new_path": "src/Lean/Parser/Attr.lean" }, { "type": "modify", "old_id": "a767cce458118fc4074f6c9cc2f400ac9f7f2c41", "old_mode": 33188, "old_path": "src/Lean/Parser/Basic.lean", "new_id": "3cd2da170697d335bde57a7f8ed5fc825db9fddc", "new_mode": 33188, "new_path": "src/Lean/Parser/Basic.lean" }, { "type": "modify", "old_id": "28f6bea11ba87b31fd035a875095e0c099b65714", "old_mode": 33188, "old_path": "src/Lean/Parser/Command.lean", "new_id": "40f246f96fd4db566309b43167b172db1e67bf85", "new_mode": 33188, "new_path": "src/Lean/Parser/Command.lean" }, { "type": "modify", "old_id": "26a7e67639121ddd3825bc12dff7b5d5e1596a86", "old_mode": 33188, "old_path": "src/Lean/Parser/Do.lean", "new_id": "6680273c4ce3ffd8c6deb6b0d9f6486d487622b6", "new_mode": 33188, "new_path": "src/Lean/Parser/Do.lean" }, { "type": "modify", "old_id": "70fecd0ee62af6fa36bbaf545b2a8a03b1b90451", "old_mode": 33188, "old_path": "src/Lean/Parser/Extension.lean", "new_id": "c0994b3162a18837543c60e7bf12dae443ff097f", "new_mode": 33188, "new_path": "src/Lean/Parser/Extension.lean" }, { "type": "modify", "old_id": "abeb359c3673b27d1dfec2dfeb8d25b4d60915b9", "old_mode": 33188, "old_path": "src/Lean/Parser/Extra.lean", "new_id": "50885d3768bbc79eac9a6789c7d898ee41a19454", "new_mode": 33188, "new_path": "src/Lean/Parser/Extra.lean" }, { "type": "modify", "old_id": "3f05122c4647bcce54771dd04ea17faa9d656bc3", "old_mode": 33188, "old_path": "src/Lean/Parser/Level.lean", "new_id": "a6540a0173548f8bbfeff39fc59b07dc008d7ba2", "new_mode": 33188, "new_path": "src/Lean/Parser/Level.lean" }, { "type": "modify", "old_id": "40f43ef5dc579bef70f684fefa0b751c5ad3ac18", "old_mode": 33188, "old_path": "src/Lean/Parser/Module.lean", "new_id": "b2f9491b452719c297bcf5299f124d0f3a0b2209", "new_mode": 33188, "new_path": "src/Lean/Parser/Module.lean" }, { "type": "modify", "old_id": "dc9ff6d92d2138540ec860feb606d46e83d5b654", "old_mode": 33188, "old_path": "src/Lean/Parser/StrInterpolation.lean", "new_id": "1aeecf7ab10d09036974a2a886f3fd1f313776c9", "new_mode": 33188, "new_path": "src/Lean/Parser/StrInterpolation.lean" }, { "type": "modify", "old_id": "a9670366cb25980d6feff4b30ebb6d1a94419a8a", "old_mode": 33188, "old_path": "src/Lean/Parser/Syntax.lean", "new_id": "22fa7e469129c589e402a5bfcc271200b842a36c", "new_mode": 33188, "new_path": "src/Lean/Parser/Syntax.lean" }, { "type": "modify", "old_id": "6f1939eebd94ab02495b804fb57308e6ac38b72d", "old_mode": 33188, "old_path": "src/Lean/Parser/Tactic.lean", "new_id": "3bcf5cd147fdc7523c06f4d8a1c9977f4acb75c1", "new_mode": 33188, "new_path": "src/Lean/Parser/Tactic.lean" }, { "type": "modify", "old_id": "16701816b4fc763f26ba2de06ef76d9353555098", "old_mode": 33188, "old_path": "src/Lean/Parser/Term.lean", "new_id": "ba66b5669a9ab13e89fe1256d2a2abd70f667e6e", "new_mode": 33188, "new_path": "src/Lean/Parser/Term.lean" }, { "type": "modify", "old_id": "d2663a016ad01fdb2713f0efba5eb5e1f87533d4", "old_mode": 33188, "old_path": "src/Lean/Parser/Types.lean", "new_id": "635f85ff978809337ddf5058b2a566c2ce4ed1f2", "new_mode": 33188, "new_path": "src/Lean/Parser/Types.lean" }, { "type": "modify", "old_id": "492bd24bc45d8382edc2f188b27c3a646ad6c15b", "old_mode": 33188, "old_path": "src/Lean/ParserCompiler.lean", "new_id": "8fdc41f6e2a25cf4db68fa1b3de1ea5801fd79b2", "new_mode": 33188, "new_path": "src/Lean/ParserCompiler.lean" }, { "type": "modify", "old_id": "13fdf32dc9184d063963929d027b8a591c241d14", "old_mode": 33188, "old_path": "src/Lean/ParserCompiler/Attribute.lean", "new_id": "3ebd7eba6eebc0b07ff433300b620476bc6b3758", "new_mode": 33188, "new_path": "src/Lean/ParserCompiler/Attribute.lean" }, { "type": "modify", "old_id": "c4dcd89e36d6d3442896cabfa67c5e2e2d27dd3e", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter.lean", "new_id": "0c1e4cb2a52b539a91766bc2b620a42b554400d8", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter.lean" }, { "type": "modify", "old_id": "2179877c82fbc13b4100e4bb332398c245307b7a", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Basic.lean", "new_id": "c72cc4ee9c8d3e2cf255f56e438a060f803150e5", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Basic.lean" }, { "type": "modify", "old_id": "d4fa0a3e51b0931f2eb1f2c2d936eebc186bd92e", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Delaborator.lean", "new_id": "c0b10de2bb965c2ba4e00eb5f5c8b3352073e2fa", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Delaborator.lean" }, { "type": "modify", "old_id": "ebb963901a75d747a0d50f5b7f6df08c9ac4bb0e", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Delaborator/Basic.lean", "new_id": "3e1138d77a2ce5c858433ebfd7f96461b2b05eca", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Delaborator/Basic.lean" }, { "type": "modify", "old_id": "305bad4e8c01b6493c7692f91c6ac4f7b60e0520", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean", "new_id": "fd7a865c1c61dac58672f589ca6b62e43a027844", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean" }, { "type": "modify", "old_id": "ffd0f0a8a31feedfabe7f1c6c73d5e975fd1544a", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Delaborator/Options.lean", "new_id": "22d7ae52ea3fea2cb551c43254c0724bc5688f4d", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Delaborator/Options.lean" }, { "type": "modify", "old_id": "3a044c6df06073869d11204f55202b99d702b2c7", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Delaborator/SubExpr.lean", "new_id": "5092a9e4a1358e57819e9f91ed405503be87fac0", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Delaborator/SubExpr.lean" }, { "type": "modify", "old_id": "c62292de3a18332157ac506de54fe5caee624ea0", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean", "new_id": "65abfb7d1d1905e07d1b8224674583d4f07c6c8e", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean" }, { "type": "modify", "old_id": "da8effa217f0e15a69aca9e2fa33df5267915eeb", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Formatter.lean", "new_id": "cc490a2f5565accf6e37d2ed3deafffffd5c0532", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Formatter.lean" }, { "type": "modify", "old_id": "6c94c63885883af18c7985473ea067abf94a2182", "old_mode": 33188, "old_path": "src/Lean/PrettyPrinter/Parenthesizer.lean", "new_id": "6ea0658a39587a17565a05080001dfce1bcba1bb", "new_mode": 33188, "new_path": "src/Lean/PrettyPrinter/Parenthesizer.lean" }, { "type": "modify", "old_id": "e48f028e0c2a79cfe8f2cb27fcc6d40ee888be5c", "old_mode": 33188, "old_path": "src/Lean/ProjFns.lean", "new_id": "8a43c073b38bc4128d5d595e964c3456cafb888c", "new_mode": 33188, "new_path": "src/Lean/ProjFns.lean" }, { "type": "modify", "old_id": "9d3e66ec610042b37b3f1fbebd6e51dea620ca7d", "old_mode": 33188, "old_path": "src/Lean/ReducibilityAttrs.lean", "new_id": "a058740bd98f4fc905b657506f19fbb753edf446", "new_mode": 33188, "new_path": "src/Lean/ReducibilityAttrs.lean" }, { "type": "modify", "old_id": "d4922b834b7c1027b7889449a28a9c3a6888f6ef", "old_mode": 33188, "old_path": "src/Lean/Replay.lean", "new_id": "d44392191ec68ab377c759942a148dd204fee4db", "new_mode": 33188, "new_path": "src/Lean/Replay.lean" }, { "type": "modify", "old_id": "b5ae3360ab76559dde162856212183a18e2151b5", "old_mode": 33188, "old_path": "src/Lean/ResolveName.lean", "new_id": "93ab97b630d7699b66e31e7c695a5d9794068132", "new_mode": 33188, "new_path": "src/Lean/ResolveName.lean" }, { "type": "modify", "old_id": "b570f0bf5295c450940e2d223f750e4708beac4b", "old_mode": 33188, "old_path": "src/Lean/Runtime.lean", "new_id": "4cac6f13794bb84b513863bf11c10210d4f11c15", "new_mode": 33188, "new_path": "src/Lean/Runtime.lean" }, { "type": "modify", "old_id": "e74fecfc1e337721d804020125eaac386d653872", "old_mode": 33188, "old_path": "src/Lean/ScopedEnvExtension.lean", "new_id": "917e77d4975bd6867b0db21e2a5dd4115d0d3fe6", "new_mode": 33188, "new_path": "src/Lean/ScopedEnvExtension.lean" }, { "type": "modify", "old_id": "d6f27596cdf9badc78754e2625471e4ac805f020", "old_mode": 33188, "old_path": "src/Lean/Server.lean", "new_id": "fcb2cc0010c27b3c60aa677fc34e87b9464069d7", "new_mode": 33188, "new_path": "src/Lean/Server.lean" }, { "type": "modify", "old_id": "dc4abbc688c7d51f60cc855f98e8cdcab9c48906", "old_mode": 33188, "old_path": "src/Lean/Server/AsyncList.lean", "new_id": "426aaa91e0208233fe98c11cb4985dd732ac7e41", "new_mode": 33188, "new_path": "src/Lean/Server/AsyncList.lean" }, { "type": "modify", "old_id": "c9deafbeda69beb645d253ff9445ac93a61f2bfa", "old_mode": 33188, "old_path": "src/Lean/Server/CodeActions.lean", "new_id": "c5838f85af78017b7fe5d26ba2df091db715fca4", "new_mode": 33188, "new_path": "src/Lean/Server/CodeActions.lean" }, { "type": "modify", "old_id": "15fe2aed0c6ee79a402e8df8dee88426b687635f", "old_mode": 33188, "old_path": "src/Lean/Server/Completion.lean", "new_id": "94a3ad2cb828e2bf00a74ffe9d216ce6167998bd", "new_mode": 33188, "new_path": "src/Lean/Server/Completion.lean" }, { "type": "modify", "old_id": "d0024073e98b6c2d86dca0947bffa347fe94453a", "old_mode": 33188, "old_path": "src/Lean/Server/FileSource.lean", "new_id": "39e87c6cf158505c4a30d1166bdf082a83bf5537", "new_mode": 33188, "new_path": "src/Lean/Server/FileSource.lean" }, { "type": "modify", "old_id": "9d7802f011a2fc39c8831623294b535a38986982", "old_mode": 33188, "old_path": "src/Lean/Server/FileWorker.lean", "new_id": "206c512c555a624b9ed4ef8786063e8055811c41", "new_mode": 33188, "new_path": "src/Lean/Server/FileWorker.lean" }, { "type": "modify", "old_id": "ad74b293ff0440fb56abfe2f69cbf61dde17671d", "old_mode": 33188, "old_path": "src/Lean/Server/FileWorker/RequestHandling.lean", "new_id": "8689c0b7f4c283a4ff64e43eb284310229a12a8d", "new_mode": 33188, "new_path": "src/Lean/Server/FileWorker/RequestHandling.lean" }, { "type": "modify", "old_id": "3ecb20bcaf06abc263c0e2c0f1d30a7ae07c1160", "old_mode": 33188, "old_path": "src/Lean/Server/FileWorker/SetupFile.lean", "new_id": "a602487a199d074e26a91c73f53ea31eb00b2aa9", "new_mode": 33188, "new_path": "src/Lean/Server/FileWorker/SetupFile.lean" }, { "type": "modify", "old_id": "1014579b2eca87df587f2c070b5ce9e937a991aa", "old_mode": 33188, "old_path": "src/Lean/Server/FileWorker/Utils.lean", "new_id": "e24d55f2dba1fb88c16b05cf7c030ee31bd661b8", "new_mode": 33188, "new_path": "src/Lean/Server/FileWorker/Utils.lean" }, { "type": "modify", "old_id": "1719985962a1ca0297d09f590a71b523da7be839", "old_mode": 33188, "old_path": "src/Lean/Server/FileWorker/WidgetRequests.lean", "new_id": "78841e8c8672240df7848f9fcfd745df6cf925a9", "new_mode": 33188, "new_path": "src/Lean/Server/FileWorker/WidgetRequests.lean" }, { "type": "modify", "old_id": "1c31eb024b48fd439df0af6ba8fbd6256b1eb75a", "old_mode": 33188, "old_path": "src/Lean/Server/GoTo.lean", "new_id": "e4cba0b24139357c2acaac71f71408122f0fcaef", "new_mode": 33188, "new_path": "src/Lean/Server/GoTo.lean" }, { "type": "modify", "old_id": "0d2723ece4a398b80b9cf7932e83957157266e7f", "old_mode": 33188, "old_path": "src/Lean/Server/ImportCompletion.lean", "new_id": "08dfcb36d4cf80e00a5f4c54c88b735543a38f82", "new_mode": 33188, "new_path": "src/Lean/Server/ImportCompletion.lean" }, { "type": "modify", "old_id": "086bb984ef7cd865adfee4a6473586512dcdd094", "old_mode": 33188, "old_path": "src/Lean/Server/InfoUtils.lean", "new_id": "ec1e29c9341d404780f2916b273de25b3a9e5330", "new_mode": 33188, "new_path": "src/Lean/Server/InfoUtils.lean" }, { "type": "modify", "old_id": "dbf487a321b868415df03230e69fc5c115462731", "old_mode": 33188, "old_path": "src/Lean/Server/References.lean", "new_id": "872e01b05afa54db103b93a6edd333e1f120d03d", "new_mode": 33188, "new_path": "src/Lean/Server/References.lean" }, { "type": "modify", "old_id": "901fdfb9f219d6b9fb71eb7ca2bdf2c564054d88", "old_mode": 33188, "old_path": "src/Lean/Server/Requests.lean", "new_id": "8eec72fbd9e2eb3d9c05969672a5a59fb2ee3dea", "new_mode": 33188, "new_path": "src/Lean/Server/Requests.lean" }, { "type": "modify", "old_id": "d4d6c0ab0ca918792d06c9496140a766f7362858", "old_mode": 33188, "old_path": "src/Lean/Server/Rpc.lean", "new_id": "1cad524cb4f39006606b74735577009814daba10", "new_mode": 33188, "new_path": "src/Lean/Server/Rpc.lean" }, { "type": "modify", "old_id": "1edf67a4a216041c11add922aaf024e57bbe011a", "old_mode": 33188, "old_path": "src/Lean/Server/Rpc/Basic.lean", "new_id": "db00aa7a94e86c5868bcb6cf7550971cfc934803", "new_mode": 33188, "new_path": "src/Lean/Server/Rpc/Basic.lean" }, { "type": "modify", "old_id": "326d8548eb8be67676a1e64b258061c65815800a", "old_mode": 33188, "old_path": "src/Lean/Server/Rpc/Deriving.lean", "new_id": "bbcc241669f173364fe6274730e1397343063a2d", "new_mode": 33188, "new_path": "src/Lean/Server/Rpc/Deriving.lean" }, { "type": "modify", "old_id": "44d67cba55c477ea9899f1d481cdc0c2ee80318b", "old_mode": 33188, "old_path": "src/Lean/Server/Rpc/RequestHandling.lean", "new_id": "b4905d359e42b9b1e0bb879a93b66236e83c2ab3", "new_mode": 33188, "new_path": "src/Lean/Server/Rpc/RequestHandling.lean" }, { "type": "modify", "old_id": "f49e5db56449274b68ec7cdd6a322cc8b45b80a0", "old_mode": 33188, "old_path": "src/Lean/Server/Snapshots.lean", "new_id": "dd89fe7d450e6e243f529b74d19d487a9f322fab", "new_mode": 33188, "new_path": "src/Lean/Server/Snapshots.lean" }, { "type": "modify", "old_id": "744e48b5ba210b6f310a4524980841d54337164c", "old_mode": 33188, "old_path": "src/Lean/Server/Utils.lean", "new_id": "2870d404d4faf5034323d3eb5dd82d87b47477aa", "new_mode": 33188, "new_path": "src/Lean/Server/Utils.lean" }, { "type": "modify", "old_id": "7a496fb73532cef331d491461484897d7b020af3", "old_mode": 33188, "old_path": "src/Lean/Server/Watchdog.lean", "new_id": "261e82be7fbe17ef6c0a3684c23313adaff8bc6f", "new_mode": 33188, "new_path": "src/Lean/Server/Watchdog.lean" }, { "type": "modify", "old_id": "19b5493dbe363324dd8204ad07dc388ae39d013e", "old_mode": 33188, "old_path": "src/Lean/Structure.lean", "new_id": "2d20b3280bea594d16f2ea0e72153427ebee2292", "new_mode": 33188, "new_path": "src/Lean/Structure.lean" }, { "type": "modify", "old_id": "aca1dd77ecda325739f7abad365a870035493cad", "old_mode": 33188, "old_path": "src/Lean/SubExpr.lean", "new_id": "d9cb079df586ca425dcc8a23a208f2a8754fdf89", "new_mode": 33188, "new_path": "src/Lean/SubExpr.lean" }, { "type": "modify", "old_id": "a0ef020fac6a64ca97e65cff644fe451def10130", "old_mode": 33188, "old_path": "src/Lean/Syntax.lean", "new_id": "1497da94855da3b7a29a852d47d7191d558d14e6", "new_mode": 33188, "new_path": "src/Lean/Syntax.lean" }, { "type": "modify", "old_id": "f72aec1115e62334dcd4ad26a371372b09d83ec5", "old_mode": 33188, "old_path": "src/Lean/ToExpr.lean", "new_id": "5bad40dd2ba423c075eb504e90035c90ca87487a", "new_mode": 33188, "new_path": "src/Lean/ToExpr.lean" }, { "type": "modify", "old_id": "3a93462cc123fb6ce9f478bc216436c8e22816ff", "old_mode": 33188, "old_path": "src/Lean/Util.lean", "new_id": "817d4325797f7e19634fe76c21b6cbdca0e9319c", "new_mode": 33188, "new_path": "src/Lean/Util.lean" }, { "type": "modify", "old_id": "e0649539487895f89c176a1e754835e4ecf7e51b", "old_mode": 33188, "old_path": "src/Lean/Util/CollectFVars.lean", "new_id": "8fbdf169ff6ea5db19567baf185b0a7a1e5065a7", "new_mode": 33188, "new_path": "src/Lean/Util/CollectFVars.lean" }, { "type": "modify", "old_id": "54db73fb4c43f5c93c86b8ae637e2d18b9749bdb", "old_mode": 33188, "old_path": "src/Lean/Util/CollectLevelParams.lean", "new_id": "898e476ac1fea5e097cf6b842035df78f51673b8", "new_mode": 33188, "new_path": "src/Lean/Util/CollectLevelParams.lean" }, { "type": "modify", "old_id": "fd71d68baf57c1c4280585aaf702724b9218a579", "old_mode": 33188, "old_path": "src/Lean/Util/CollectMVars.lean", "new_id": "2365be1dea7faccca8ae88149c2005b93a5b4921", "new_mode": 33188, "new_path": "src/Lean/Util/CollectMVars.lean" }, { "type": "modify", "old_id": "0560f80a6c8c8b099908626f7fe6667fea0af5d8", "old_mode": 33188, "old_path": "src/Lean/Util/FileSetupInfo.lean", "new_id": "a5701c6f30569b412a8eea7526fedf5d34473c23", "new_mode": 33188, "new_path": "src/Lean/Util/FileSetupInfo.lean" }, { "type": "modify", "old_id": "56217625b8898c58c5282f1eaa4392a7cace1403", "old_mode": 33188, "old_path": "src/Lean/Util/FindExpr.lean", "new_id": "a93765a3cb8cded3a04c3a192f7d720de13673d0", "new_mode": 33188, "new_path": "src/Lean/Util/FindExpr.lean" }, { "type": "modify", "old_id": "f6ce8d040427dd07eddaaaf74db0a3e84703affb", "old_mode": 33188, "old_path": "src/Lean/Util/FindLevelMVar.lean", "new_id": "be156308e2f0084101d028ee36cac7548434476b", "new_mode": 33188, "new_path": "src/Lean/Util/FindLevelMVar.lean" }, { "type": "modify", "old_id": "eb49dc376f58b6a86e140294f578b2bef3d6c013", "old_mode": 33188, "old_path": "src/Lean/Util/FindMVar.lean", "new_id": "dd6e48f3434e9121d3946ee7da74a21821602a99", "new_mode": 33188, "new_path": "src/Lean/Util/FindMVar.lean" }, { "type": "modify", "old_id": "add657536399f42b2f6678dc8168fa30cd31ec5e", "old_mode": 33188, "old_path": "src/Lean/Util/FoldConsts.lean", "new_id": "e01c0d9a8bc0cd0891c385787a7b6e95d04ff9e3", "new_mode": 33188, "new_path": "src/Lean/Util/FoldConsts.lean" }, { "type": "modify", "old_id": "fec18fcf445e671fdff41f935d74cc7f6479ebf9", "old_mode": 33188, "old_path": "src/Lean/Util/ForEachExpr.lean", "new_id": "c5c80df3456bb0fa96a46909931d790b35bad28d", "new_mode": 33188, "new_path": "src/Lean/Util/ForEachExpr.lean" }, { "type": "modify", "old_id": "18a9e33d09fc35644a1ee16c20e05880019be16b", "old_mode": 33188, "old_path": "src/Lean/Util/ForEachExprWhere.lean", "new_id": "202bbfb016a6dd3bafc3beea873dccdbe870e0e4", "new_mode": 33188, "new_path": "src/Lean/Util/ForEachExprWhere.lean" }, { "type": "modify", "old_id": "744079153b013d017ee41123b91a9142d98415cf", "old_mode": 33188, "old_path": "src/Lean/Util/HasConstCache.lean", "new_id": "371026016b20a749361e2b6ea905a42d5d8bcee7", "new_mode": 33188, "new_path": "src/Lean/Util/HasConstCache.lean" }, { "type": "modify", "old_id": "17b775321d109778245cacd6e4e73e3b1364c993", "old_mode": 33188, "old_path": "src/Lean/Util/InstantiateLevelParams.lean", "new_id": "165528657946bbfef73fc5714e78107b10c13347", "new_mode": 33188, "new_path": "src/Lean/Util/InstantiateLevelParams.lean" }, { "type": "modify", "old_id": "2b313cd74835bafc299075b8fffd7f064c80a1bb", "old_mode": 33188, "old_path": "src/Lean/Util/LakePath.lean", "new_id": "322d4216f67cad64c08e6be47d92e224186b1b44", "new_mode": 33188, "new_path": "src/Lean/Util/LakePath.lean" }, { "type": "modify", "old_id": "f52d48814f94812ad3efcc9fd7dc1d1d08ec5e27", "old_mode": 33188, "old_path": "src/Lean/Util/LeanOptions.lean", "new_id": "9fe332f7dd18509f18074e969b3918225077998e", "new_mode": 33188, "new_path": "src/Lean/Util/LeanOptions.lean" }, { "type": "modify", "old_id": "e9b1262e0d4a4e4c96ee41d1d367c66b4cdb0dfb", "old_mode": 33188, "old_path": "src/Lean/Util/MonadBacktrack.lean", "new_id": "3ed4e27e5ae3d92ac9aafd064e233a76822fceaa", "new_mode": 33188, "new_path": "src/Lean/Util/MonadBacktrack.lean" }, { "type": "modify", "old_id": "b11bb11a31b127545414cef7e2c0b1e2b57ccfe3", "old_mode": 33188, "old_path": "src/Lean/Util/MonadCache.lean", "new_id": "9e5b41d583007d1ed1e1c46a461c4c7639eb0b3b", "new_mode": 33188, "new_path": "src/Lean/Util/MonadCache.lean" }, { "type": "modify", "old_id": "90f982d0439d547b85c1f7662f7fcbe7c9caa056", "old_mode": 33188, "old_path": "src/Lean/Util/OccursCheck.lean", "new_id": "1f811090b42247be4cda43070bbb36b50998bcc6", "new_mode": 33188, "new_path": "src/Lean/Util/OccursCheck.lean" }, { "type": "modify", "old_id": "e1db2eb736873fb8dbb5261531bb8d153e22ee97", "old_mode": 33188, "old_path": "src/Lean/Util/PPExt.lean", "new_id": "f9adda1509dd1fecaf9e6fb59fce132c976ead64", "new_mode": 33188, "new_path": "src/Lean/Util/PPExt.lean" }, { "type": "modify", "old_id": "bc33ae9498d771a59499e15bcae292ba411dd903", "old_mode": 33188, "old_path": "src/Lean/Util/Path.lean", "new_id": "0063f24680d63864bc8a26f2fbed5654bca8951a", "new_mode": 33188, "new_path": "src/Lean/Util/Path.lean" }, { "type": "modify", "old_id": "f6e898223a8c3c0e4b04e1265e1e2bed072b5ac9", "old_mode": 33188, "old_path": "src/Lean/Util/Paths.lean", "new_id": "70420a10b61e51d45cc3b68f0c253c73a8f31ec7", "new_mode": 33188, "new_path": "src/Lean/Util/Paths.lean" }, { "type": "modify", "old_id": "d247970b1f355cfeb09aeb7d79520535346014cd", "old_mode": 33188, "old_path": "src/Lean/Util/Profile.lean", "new_id": "7164a08af3db0a95053214bbaec1b47d5356135f", "new_mode": 33188, "new_path": "src/Lean/Util/Profile.lean" }, { "type": "modify", "old_id": "38bc51ea7d05a516b1a3d2ce39a0bd116af9c04d", "old_mode": 33188, "old_path": "src/Lean/Util/PtrSet.lean", "new_id": "05b33c0d369f851640e650a2a662f61f93d0eb20", "new_mode": 33188, "new_path": "src/Lean/Util/PtrSet.lean" }, { "type": "modify", "old_id": "c74972e99b52b88dfc703221be16a86124fa61d9", "old_mode": 33188, "old_path": "src/Lean/Util/RecDepth.lean", "new_id": "1d6e61855b0f059bdaccbc5711a8df7d2bf4f3c5", "new_mode": 33188, "new_path": "src/Lean/Util/RecDepth.lean" }, { "type": "modify", "old_id": "438c67551238464dd5b50d30ec21c7a99f45ac0d", "old_mode": 33188, "old_path": "src/Lean/Util/Recognizers.lean", "new_id": "420d2d7c2e8d835e9c8582f6465d5ce56c109cfd", "new_mode": 33188, "new_path": "src/Lean/Util/Recognizers.lean" }, { "type": "modify", "old_id": "5d39d08c4ebc876c6c1553161c355a9ddcbe4abd", "old_mode": 33188, "old_path": "src/Lean/Util/ReplaceExpr.lean", "new_id": "d0ff29b0fc4b6967135f06bba2640de5b21849e1", "new_mode": 33188, "new_path": "src/Lean/Util/ReplaceExpr.lean" }, { "type": "modify", "old_id": "df3c57b35ae762aabf5602bfa4545cce7c52ac4d", "old_mode": 33188, "old_path": "src/Lean/Util/ReplaceLevel.lean", "new_id": "11d5881abc51697e12b25929a5d3d692c3d80d38", "new_mode": 33188, "new_path": "src/Lean/Util/ReplaceLevel.lean" }, { "type": "modify", "old_id": "63d89ca771b9ff264ec898655c37cb89ab5f5b31", "old_mode": 33188, "old_path": "src/Lean/Util/SCC.lean", "new_id": "2a42d74c49caf4707b1b64e37f6d71d1ba1b64c3", "new_mode": 33188, "new_path": "src/Lean/Util/SCC.lean" }, { "type": "modify", "old_id": "5cd559a9dec327fa46a1e86a31ec72acf5f5ee7b", "old_mode": 33188, "old_path": "src/Lean/Util/ShareCommon.lean", "new_id": "5948ea3da9c8f6525bff3f75be413891ce9ae14f", "new_mode": 33188, "new_path": "src/Lean/Util/ShareCommon.lean" }, { "type": "modify", "old_id": "9d6f73065e462a8299bf33646ee1b7621c0af6d6", "old_mode": 33188, "old_path": "src/Lean/Util/Sorry.lean", "new_id": "3341b1342177285e3404ede76dbc6853cfc38fed", "new_mode": 33188, "new_path": "src/Lean/Util/Sorry.lean" }, { "type": "modify", "old_id": "56437c3636f42f452e52db7f0563bf7a2e837cc8", "old_mode": 33188, "old_path": "src/Lean/Util/TestExtern.lean", "new_id": "4668c85a49cc22fa46b9f8111376947497699280", "new_mode": 33188, "new_path": "src/Lean/Util/TestExtern.lean" }, { "type": "modify", "old_id": "c7e478bd76c76d40c1d916407460be16005e4caf", "old_mode": 33188, "old_path": "src/Lean/Util/Trace.lean", "new_id": "4d74afbc48b13f717266ab8034e4f2497ccb7d47", "new_mode": 33188, "new_path": "src/Lean/Util/Trace.lean" }, { "type": "modify", "old_id": "9a51cfa25b97f3bb2d6812860ff11f934f6cf517", "old_mode": 33188, "old_path": "src/Lean/Widget.lean", "new_id": "5d3f7e37037becf03b87a52509750bdbe45fe940", "new_mode": 33188, "new_path": "src/Lean/Widget.lean" }, { "type": "modify", "old_id": "ed0a5827c3f03abe6ce1bce789a94591583095e4", "old_mode": 33188, "old_path": "src/Lean/Widget/Basic.lean", "new_id": "d8368162428e18b9862421576ff87593daced3a5", "new_mode": 33188, "new_path": "src/Lean/Widget/Basic.lean" }, { "type": "modify", "old_id": "55c682366083676df7f7de8e645312391c2432fa", "old_mode": 33188, "old_path": "src/Lean/Widget/Diff.lean", "new_id": "86979931aa82a1ccea4f72f7c38e6f48ae99a958", "new_mode": 33188, "new_path": "src/Lean/Widget/Diff.lean" }, { "type": "modify", "old_id": "393f1cbcb46bc1c694cc10e7893894505565e3be", "old_mode": 33188, "old_path": "src/Lean/Widget/InteractiveCode.lean", "new_id": "74faf158176333b94cd469157d3e3ddbd9c1bf5d", "new_mode": 33188, "new_path": "src/Lean/Widget/InteractiveCode.lean" }, { "type": "modify", "old_id": "2bec23660347eb68b0269bca5570f78df7c2986b", "old_mode": 33188, "old_path": "src/Lean/Widget/InteractiveDiagnostic.lean", "new_id": "487428e33e024a6c9500fd65e5cb64f34f873820", "new_mode": 33188, "new_path": "src/Lean/Widget/InteractiveDiagnostic.lean" }, { "type": "modify", "old_id": "8192f86c80ed7b3fa9eeff0925e675a78ceb3cfd", "old_mode": 33188, "old_path": "src/Lean/Widget/InteractiveGoal.lean", "new_id": "72c335d59d0097cf9f0e190a6ba9df3219302f07", "new_mode": 33188, "new_path": "src/Lean/Widget/InteractiveGoal.lean" }, { "type": "modify", "old_id": "62708e82cc44ca2ecbececc4eac4962abd89cbcf", "old_mode": 33188, "old_path": "src/Lean/Widget/TaggedText.lean", "new_id": "c8c063a2bf4d498aebf10d896bb0520e9d09949a", "new_mode": 33188, "new_path": "src/Lean/Widget/TaggedText.lean" }, { "type": "modify", "old_id": "c86199110ff07dfd1f269aed9d0e9e3b352c10c2", "old_mode": 33188, "old_path": "src/Lean/Widget/Types.lean", "new_id": "1c78dfd763a0ebfbf489c5eae58e9b6cf5d341f5", "new_mode": 33188, "new_path": "src/Lean/Widget/Types.lean" }, { "type": "modify", "old_id": "27b752d6db39d47b8407b6d3fdb9f697c254aceb", "old_mode": 33188, "old_path": "src/Lean/Widget/UserWidget.lean", "new_id": "c45ae4619b6c266f6a470a64c301557e164243b5", "new_mode": 33188, "new_path": "src/Lean/Widget/UserWidget.lean" }, { "type": "modify", "old_id": "a673eb54c447fe43439303582caee1d6bac655c1", "old_mode": 33188, "old_path": "tests/lean/1021.lean.expected.out", "new_id": "d5026a3c4455573904915e04a8735d0dcb5994f3", "new_mode": 33188, "new_path": "tests/lean/1021.lean.expected.out" } ] }