)]}'
{
  "id": "e0ea9694c8bb746edae50355db462c4bec10e48f",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "22ad79dbb8d065d3ef9d35cb494082db9e3be61c",
      "name": "BinderPredicates.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e48b22ea4b21dc99053a7e1326b5304d64b700c8",
      "name": "ByCases.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0d52a62e2ebe5006587134669cb2b2656b2caa6e",
      "name": "Classical.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4e6adaed0faaff13f368402612818d536b508c49",
      "name": "Coe.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ab783f3634048f32e5a478ad08696d57980df309",
      "name": "Control.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ff6f4affe23fbd6a5db8d32c00b47b0029cd1935",
      "name": "Control"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "904bc28b9bb34a6eba000a0dafc110be2227a2f9",
      "name": "Conv.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "66d3cd2d56681b4ad76b08e2dcd19044b526ac2b",
      "name": "Core.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f6befdfc50f707c44950c34d11cc237b8d86db83",
      "name": "Data.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "34fe34d89608e57ae026a0ad0da4c956ea70be6e",
      "name": "Data"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a784b7dc2cd7f4c993d0ffc4d1e720d5a8dfb9d9",
      "name": "Dynamic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f0fdc024ed4bbb7dfcba37e41b6e47f0dd98c834",
      "name": "Ext.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bcfefaa366de77a4706e08e8b80daf2ace7e5d13",
      "name": "GetElem.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "03877c2eb97ac5cae43486f0e3f04a641ac98ae5",
      "name": "Guard.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8a2904e63bb280d8ee484f9117a7f6575fbce87",
      "name": "Hints.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "11ae3290c76d9d1244ab2dc569b5d4c594208218",
      "name": "MacroTrace.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d22a1ee69b5f09caeeb4984edf11dd4233b8b026",
      "name": "Meta.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82a0ffa63a94e1f64e35f2270cc37d607dfcb740",
      "name": "MetaTypes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0c6923436984042bace4078db09b4686e3ec0745",
      "name": "Notation.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8622703db182693f769b14a0a67d7be1c9ea1898",
      "name": "NotationExtra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "19cd5fe16dcb106f985b9ee6749963fc5d2c374a",
      "name": "Omega.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ae88006a30d7a4f8b0525ffde8a426f2e31890fd",
      "name": "Omega"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "979bf82692c3e39608abc7323a0c8b77bd3521f6",
      "name": "Prelude.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "010795552732ef5b94c91ec8dd38bf362b245a43",
      "name": "PropLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4210a08615ebca7e564d171579a8934221bd9ba",
      "name": "RCases.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7754d07f87cabfb8c6fe38e5f779caffe0ecdb0d",
      "name": "ShareCommon.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "852bfb7a091166c44fbadeaab07e9c405fa5c193",
      "name": "SimpLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a679681364494cfb4be850918bc856b07fbbd59d",
      "name": "Simproc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c59cf6c17b538c34fd978cd492d1604fc6da986",
      "name": "SizeOf.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4fbda63e56b335b157b5bdcb5bef6295eb0b3a05",
      "name": "SizeOfLemmas.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8c0766bc230792c22b8894f04d775735893ad769",
      "name": "System.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "830dae6f4f7cfc92ae3f70b9b60ed0190ef00b7c",
      "name": "System"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "720b2350d38d2427f47474a47967d5765dba3e2c",
      "name": "Tactics.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e298e28f9b9f09b613ac06c860176d5334be406e",
      "name": "TacticsExtra.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0cdb92fecb8783391dfa9f9284e0298f278781d4",
      "name": "Util.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da0f9c050a2c8afb765a670004e1defdf19854e9",
      "name": "WF.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "da46d6daaf1ed0f4522bd7d06894c33b0bd5a809",
      "name": "WFTactics.lean"
    }
  ]
}