# HG changeset patch
# User huffman
# Date 1187880436 -7200
# Node ID 0c9af72fb3039e21376a3d14a77502b69ba5a0ae
# Parent  2943ae5255d0ab219f5c7e4b95685296f3cdfc45
Word/BinInduct.thy

diff -r 2943ae5255d0 -r 0c9af72fb303 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Aug 23 16:46:40 2007 +0200
+++ b/src/HOL/IsaMakefile	Thu Aug 23 16:47:16 2007 +0200
@@ -814,6 +814,7 @@
   Library/Boolean_Algebra.thy Library/Numeral_Type.thy \
   Word/Num_Lemmas.thy \
   Word/TdThs.thy \
+  Word/BinInduct.thy \
   Word/BinGeneral.thy \
   Word/BinOperations.thy \
   Word/BinBoolList.thy \