blob: fb73a673d45dbc399a1d9bf7189a29d101692653 (
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
Sail2_values_lemmas
Sail2_prompt
Sail2_state_lemmas
Sail2_operators_mwords_lemmas
Sail2_operators_bitlists
Sail2_string
Hoare
document_files "root.tex"
|
