From e87c76b560921620a0e0f0b472c243e3c0a3bcb2 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 31 Jan 2018 12:47:18 +0000
Subject: Add wrappers around Lem operators using bitvector type class

Makes bitvector typeclass instance dictionaries disappear from generated
Isabelle output.
---
 lib/isabelle/ROOT | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/isabelle/ROOT')

diff --git a/lib/isabelle/ROOT b/lib/isabelle/ROOT
index 2062b64b..c798447e 100644
--- a/lib/isabelle/ROOT
+++ b/lib/isabelle/ROOT
@@ -4,7 +4,8 @@ session "Sail" = "LEM" +
     Sail_values
     State
     Prompt
-    Sail_operators
+    Sail_operators_mwords
+    Sail_operators_bitlists
 
 (*session "Sail" = "Sail_Base" +
   options [document = false]
-- 
cgit v1.2.3