diff options
| author | Thomas Bauereiss | 2018-06-21 17:50:54 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-06-21 17:54:17 +0100 |
| commit | 2005eb7c190f8d28d6499df3dd77cf65a87e60cb (patch) | |
| tree | 73f7c9d58e77f8ff08832b211779ba2789c8f8f7 /lib/isabelle/ROOT | |
| parent | 3f626070c3fcba7871f6364630b05fa62d36c5c8 (diff) | |
Follow Sail2 renaming in Isabelle library
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" |