~james/split

ref: f044a95a6ba71c8d90a5222c81c63ce5da190372 split/proof d---------
f044a95a — james feat(snapshot): prove promotion preserves unselected snapshot contents 9 days 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