)]}'
{
  "id": "e984c9854361bf4f8b002f2937d055256a318c8e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7ac127a0b1873d9aaa18221e227cb4161ce2939c",
      "name": "CogentCorres.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "21626d476bdaf87758d1f0e243fbe12f5d2a1a63",
      "name": "CogentMonad.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aae52b4b95c1b697ec652cba3acf91d035899c9d",
      "name": "FunBucket.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5d711d8c2d2b0d89ea4ca911f2c857c8ed395e28",
      "name": "L4vBucket.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2383740f4be3ba4e22c2bca3f95f15da411596c5",
      "name": "Loops.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a4ba7f18bb7f35a7316ee05317e3a1ea56813fea",
      "name": "TypBucket.thy"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d7ed534a4028fb1a7874ce84bfc9df53c828be89",
      "name": "Util.thy"
    }
  ]
}