blob: 1f3ba3ffa5f2227e8cc6522c666c5fc62daef9b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
session "Sail" = "LEM" +
options [browser_info, document = pdf, document_output = "output"]
sessions
"HOL-Eisbach"
theories [document = false]
Sail_values_lemmas
Prompt
State_lemmas
Sail_operators_mwords_lemmas
Sail_operators_bitlists
Hoare
document_files "root.tex"
|
