# HG changeset patch
# User huffman
# Date 1187794483 -7200
# Node ID 199bb6d451e554e40df71447609fa57896f3f001
# Parent  371f8c6b2101980a41e3228ad7bb7e2de86d8b2e
Word/WordBoolList.thy

diff -r 371f8c6b2101 -r 199bb6d451e5 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Aug 22 16:44:35 2007 +0200
+++ b/src/HOL/IsaMakefile	Wed Aug 22 16:54:43 2007 +0200
@@ -824,6 +824,7 @@
   Word/WordBitwise.thy \
   Word/WordShift.thy \
   Word/WordGenLib.thy \
+  Word/WordBoolList.thy \
   Word/WordMain.thy \
   Word/WordExamples.thy \
   Word/document/root.tex