gitextract_nf10lb83/

├── .gitignore
├── LICENSE
├── README.md
├── ReplicaEngine/
│   └── tla/
│       ├── ReplicaEngine.tla
│       └── ReplicaEngine.toolbox/
│           ├── .project
│           ├── .settings/
│           │   └── org.lamport.tla.toolbox.prefs
│           └── ReplicaEngine___model.launch
├── Storage/
│   └── tla/
│       ├── Storage.tla
│       └── Storage.toolbox/
│           └── Storage___model.launch
├── ZenWithTerms/
│   └── tla/
│       ├── ZenWithTerms.tla
│       └── ZenWithTerms.toolbox/
│           ├── .project
│           ├── .settings/
│           │   └── org.lamport.tla.toolbox.prefs
│           └── ZenWithTerms___model.launch
├── cluster/
│   ├── isabelle/
│   │   ├── Implementation.thy
│   │   ├── Monadic.thy
│   │   ├── OneSlot.thy
│   │   ├── Preliminaries.thy
│   │   ├── ROOT
│   │   ├── Zen.thy
│   │   └── document/
│   │       └── root.tex
│   └── tla/
│       ├── consensus.tla
│       └── consensus.toolbox/
│           ├── .project
│           ├── .settings/
│           │   └── org.lamport.tla.toolbox.prefs
│           └── consensus___model.launch
└── data/
    └── tla/
        ├── replication.tla
        └── replication.toolbox/
            ├── .project
            ├── .settings/
            │   └── org.lamport.tla.toolbox.prefs
            └── replication___model.launch