~james/split

ref: f044a95a6ba71c8d90a5222c81c63ce5da190372 split/proof/ROOT -rw-r--r-- 147 bytes
f044a95a — james feat(snapshot): prove promotion preserves unselected snapshot contents 9 days ago 
                                                                                
1
2
3
4
5
6
7
8
9
10

session Split = HOL +
  options [document = false]
  theories
    Model
    Isolation
    Execution
    Protocol
    Snapshot
    Reuse
    Export