From 2005eb7c190f8d28d6499df3dd77cf65a87e60cb Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Thu, 21 Jun 2018 17:50:54 +0100
Subject: Follow Sail2 renaming in Isabelle library

---
 lib/isabelle/ROOT | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'lib/isabelle/ROOT')

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"
-- 
cgit v1.2.3