Path	Lines of Code
ReplicaEngine/tla/ReplicaEngine.tla	883
ReplicaEngine/tla/ReplicaEngine.toolbox/ReplicaEngine___model.launch	60
Storage/tla/Storage.tla	156
Storage/tla/Storage.toolbox/Storage___model.launch	50
ZenWithTerms/tla/ZenWithTerms.tla	326
ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch	65
cluster/isabelle/Implementation.thy	314
cluster/isabelle/Monadic.thy	678
cluster/isabelle/OneSlot.thy	102
cluster/isabelle/Preliminaries.thy	123
cluster/isabelle/Zen.thy	2866
cluster/isabelle/document/root.tex	45
cluster/tla/consensus.tla	289
cluster/tla/consensus.toolbox/consensus___model.launch	62
data/tla/replication.tla	727
data/tla/replication.toolbox/replication___model.launch	62