src/HOL/IsaMakefile
changeset 17517 9dc9d3005ed2
parent 17507 507e519a0dad
child 17518 87b49367ee9b
     1.1 --- a/src/HOL/IsaMakefile	Tue Sep 20 14:10:29 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Sep 20 14:13:20 2005 +0200
     1.3 @@ -97,7 +97,7 @@
     1.4    Tools/ATP/recon_order_clauses.ML Tools/ATP/recon_parse.ML			\
     1.5    Tools/ATP/recon_transfer_proof.ML			\
     1.6    Tools/ATP/recon_translate_proof.ML Tools/ATP/res_clasimpset.ML		\
     1.7 -  Tools/ATP/watcher.ML 	Tools/comm_ring.ML					\
     1.8 +  Tools/ATP/watcher.ML 					\
     1.9    Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML				\
    1.10    Tools/datatype_codegen.ML Tools/datatype_package.ML				\
    1.11    Tools/datatype_prop.ML Tools/datatype_realizer.ML				\
    1.12 @@ -188,7 +188,7 @@
    1.13    Library/Library/ROOT.ML Library/Library/document/root.tex \
    1.14    Library/Library/document/root.bib Library/While_Combinator.thy \
    1.15    Library/Product_ord.thy Library/Char_ord.thy \
    1.16 -  Library/List_lexord.thy
    1.17 +  Library/List_lexord.thy Library/Commutative_Ring.thy Library/comm_ring.ML
    1.18  	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library
    1.19  
    1.20