blob: 545e47c4c32653cf1f7528c081cb8e1b35266319 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
session "Sail" = "LEM" +
options [browser_info, document = pdf, document_output = "output"]
sessions
"HOL-Eisbach"
theories [document = false]
Sail2_values_lemmas
Sail2_prompt
Sail2_state_lemmas
Sail2_operators_mwords_lemmas
Sail2_operators_bitlists
Sail2_string
Hoare
document_files "root.tex"
|
