--- a/src/HOL/IsaMakefile Sun Aug 19 21:21:37 2007 +0200
+++ b/src/HOL/IsaMakefile Mon Aug 20 00:22:18 2007 +0200
@@ -226,8 +226,10 @@
Library/SCT_Interpretation.thy \
Library/SCT_Implementation.thy Library/Size_Change_Termination.thy \
Library/SCT_Examples.thy Library/sct.ML \
- Library/Pure_term.thy Library/Eval.thy Library/Eval_Witness.thy Library/Pretty_Int.thy \
- Library/Pretty_Char.thy Library/Pretty_Char_chr.thy Library/Abstract_Rat.thy
+ Library/Pure_term.thy Library/Eval.thy Library/Eval_Witness.thy \
+ Library/Pretty_Int.thy \
+ Library/Pretty_Char.thy Library/Pretty_Char_chr.thy Library/Abstract_Rat.thy\
+ Library/Numeral_Type.thy Library/Boolean_Algebra.thy
@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library