)]}'
{
  "id": "c6654fb2596091380a4e208dd22af4a38f3aa1f1",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "38653bcab2a564c1c4c97ff9618b17930294aa2b",
      "name": "Common.v"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6a9244856cd0eb3200290f32d9f92d1a9288a00b",
      "name": "CommonTactics.v"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "746b72e7bab21dfb81595fe2b6e0ac8bcc494ecb",
      "name": "ObjectModel.v"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "99a923ef1c3484021a96b0e59cdafa8cc440d437",
      "name": "OperationalSemantics.v"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5cbbb77ea99a0c45e7d33a4fc4d5ba2cfafcdcdb",
      "name": "OperationalSemanticsProof.v"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b508f8e325db092a89ec3980b21d75ee9ea9e05c",
      "name": "Syntax.v"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "36c3083c14fabc2b6be087803bfa42011e4a64fe",
      "name": "SyntaxRaw.v"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "93bae875bc8347d7eccc3b2606d3e0a5495c56b4",
      "name": "_CoqProject"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "87d249e895e682cce55624da2a2ed8be1e6d4bdd",
      "name": "build.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "12a275004d62b951e451e40723235023b5a101de",
      "name": "ho-interpreter.sml"
    }
  ]
}