diff options
Diffstat (limited to 'lib/isabelle/ROOT')
| -rw-r--r-- | lib/isabelle/ROOT | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/lib/isabelle/ROOT b/lib/isabelle/ROOT index 1f3ba3ff..545e47c4 100644 --- a/lib/isabelle/ROOT +++ b/lib/isabelle/ROOT @@ -3,10 +3,11 @@ session "Sail" = "LEM" + sessions "HOL-Eisbach" theories [document = false] - Sail_values_lemmas - Prompt - State_lemmas - Sail_operators_mwords_lemmas - Sail_operators_bitlists + Sail2_values_lemmas + Sail2_prompt + Sail2_state_lemmas + Sail2_operators_mwords_lemmas + Sail2_operators_bitlists + Sail2_string Hoare document_files "root.tex" |