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