# HG changeset patch
# User wenzelm
# Date 1502972014 -7200
# Node ID 657c517c7dc6cd3866d4b737f2ffd93e6238d86b
# Parent  050bc74d55edd5a425b6f65033bb6d3cf5dc1d72
more complete session (amending 783861a66a60);

diff -r 050bc74d55ed -r 657c517c7dc6 src/HOL/ROOT
--- a/src/HOL/ROOT	Thu Aug 17 07:27:17 2017 +0200
+++ b/src/HOL/ROOT	Thu Aug 17 14:13:34 2017 +0200
@@ -863,6 +863,7 @@
     "HOL-Library"
   theories
     Word
+    Bit_Comparison
   document_files "root.bib" "root.tex"
 
 session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" +