src/HOLCF/IsaMakefile
changeset 15586 f7f812034707
parent 15576 efb95d0d01f7
child 15742 64eae3513064
equal deleted inserted replaced
15585:513aa9a3a26d 15586:f7f812034707
    36   Ssum.ML Ssum.thy \
    36   Ssum.ML Ssum.thy \
    37   Tr.ML Tr.thy Up.ML \
    37   Tr.ML Tr.thy Up.ML \
    38   Up.thy adm.ML cont_consts.ML \
    38   Up.thy adm.ML cont_consts.ML \
    39   domain/axioms.ML domain/extender.ML domain/interface.ML \
    39   domain/axioms.ML domain/extender.ML domain/interface.ML \
    40   domain/library.ML domain/syntax.ML domain/theorems.ML holcf_logic.ML \
    40   domain/library.ML domain/syntax.ML domain/theorems.ML holcf_logic.ML \
    41   ex/Stream.thy
    41   ex/Stream.thy document/root.tex
    42 	@$(ISATOOL) usedir -b -r $(OUT)/HOL HOLCF
    42 	@$(ISATOOL) usedir -b -g true -r $(OUT)/HOL HOLCF
    43 
    43 
    44 
    44 
    45 ## HOLCF-IMP
    45 ## HOLCF-IMP
    46 
    46 
    47 HOLCF-IMP: HOLCF $(LOG)/HOLCF-IMP.gz
    47 HOLCF-IMP: HOLCF $(LOG)/HOLCF-IMP.gz