src/HOL/IsaMakefile
changeset 18397 2d94eb7ff17f
parent 18005 a444181a45ce
child 18408 07da804d1119
     1.1 --- a/src/HOL/IsaMakefile	Tue Dec 13 18:11:21 2005 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Dec 13 19:32:04 2005 +0100
     1.3 @@ -191,7 +191,8 @@
     1.4    Library/Library/ROOT.ML Library/Library/document/root.tex \
     1.5    Library/Library/document/root.bib Library/While_Combinator.thy \
     1.6    Library/Product_ord.thy Library/Char_ord.thy \
     1.7 -  Library/List_lexord.thy Library/Commutative_Ring.thy Library/comm_ring.ML
     1.8 +  Library/List_lexord.thy Library/Commutative_Ring.thy Library/comm_ring.ML \
     1.9 +  Library/Coinductive_List.thy
    1.10  	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library
    1.11  
    1.12