11 lines
147 B
Plaintext
11 lines
147 B
Plaintext
session Split = HOL +
|
|
options [document = false]
|
|
theories
|
|
Model
|
|
Isolation
|
|
Execution
|
|
Protocol
|
|
Snapshot
|
|
Reuse
|
|
Export
|