# HG changeset patch # User wenzelm # Date 1502973642 -7200 # Node ID 407de076812651abf429562f3bbf8e434927d64c # Parent 6d2d993fa76ef080a55ca012e577c03dbf929234 more complete session (amending e77ea0ea7f2c); diff -r 6d2d993fa76e -r 407de0768126 src/HOL/ROOT --- a/src/HOL/ROOT Thu Aug 17 14:28:01 2017 +0200 +++ b/src/HOL/ROOT Thu Aug 17 14:40:42 2017 +0200 @@ -865,6 +865,7 @@ "HOL-Library" theories Word + WordBitwise Bit_Comparison document_files "root.bib" "root.tex"