~james/split

split/proof d---------
d902931b — james chore(import): snapshot james.dad.town/split at f044a95a6ba7 14 hours ago
..
-rw-r--r--
Execution.thy
5.7 KiB
-rw-r--r--
Export.thy
475 bytes
-rw-r--r--
Isolation.thy
3.5 KiB
-rw-r--r--
Model.thy
5.7 KiB
-rw-r--r--
Protocol.thy
4.5 KiB
-rw-r--r--
ROOT
147 bytes
-rw-r--r--
Reuse.thy
10.0 KiB
-rw-r--r--
Snapshot.thy
7.8 KiB