src/HOL/IsaMakefile
changeset 24332 e3a2b75b1cf9
parent 24326 3e9d3ba894b8
child 24333 e77ea0ea7f2c
     1.1 --- a/src/HOL/IsaMakefile	Sun Aug 19 21:21:37 2007 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Aug 20 00:22:18 2007 +0200
     1.3 @@ -226,8 +226,10 @@
     1.4    Library/SCT_Interpretation.thy \
     1.5    Library/SCT_Implementation.thy Library/Size_Change_Termination.thy \
     1.6    Library/SCT_Examples.thy Library/sct.ML \
     1.7 -  Library/Pure_term.thy Library/Eval.thy Library/Eval_Witness.thy Library/Pretty_Int.thy \
     1.8 -  Library/Pretty_Char.thy Library/Pretty_Char_chr.thy Library/Abstract_Rat.thy
     1.9 +  Library/Pure_term.thy Library/Eval.thy Library/Eval_Witness.thy \
    1.10 +  Library/Pretty_Int.thy \
    1.11 +  Library/Pretty_Char.thy Library/Pretty_Char_chr.thy Library/Abstract_Rat.thy\
    1.12 +  Library/Numeral_Type.thy Library/Boolean_Algebra.thy
    1.13  	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library
    1.14  
    1.15