)]}'
{
  "commit": "70e6d3467ee47734f3fbe79da4f621ebc36b6a20",
  "tree": "88450a6ffe78e879ff6293543a7b098fe3afc231",
  "parents": [
    "011f62387f99897cd97d280817e5a0b324abc703"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Sat Apr 28 14:20:38 2018 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Sat Apr 28 14:20:38 2018 -0700"
  },
  "message": "checkpoint\n\nThis is a failed experiment.\nThe new decidable type class is inconvenient to use.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "19320f731f79353866d987f812e085bd865a359f",
      "old_mode": 33188,
      "old_path": "library/init/core.lean",
      "new_id": "f670d891d9212dc8eab3f5751d2261506b6ca43f",
      "new_mode": 33188,
      "new_path": "library/init/core.lean"
    },
    {
      "type": "modify",
      "old_id": "71f8ead904279293ee1b44caabd3bede68224ee1",
      "old_mode": 33188,
      "old_path": "library/init/logic.lean",
      "new_id": "0defdda6028c473e56f7d37b4dc9a86feca64ebb",
      "new_mode": 33188,
      "new_path": "library/init/logic.lean"
    }
  ]
}