src/HOL/IsaMakefile
changeset 42338 802f2fe7a0c9
parent 42161 d1b39536e1fb
child 42343 118cc349de35
     1.1 --- a/src/HOL/IsaMakefile	Thu Apr 14 11:24:04 2011 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 14 11:24:04 2011 +0200
     1.3 @@ -695,9 +695,10 @@
     1.4  
     1.5  $(LOG)/HOL-Metis_Examples.gz: $(OUT)/HOL Metis_Examples/ROOT.ML \
     1.6    Metis_Examples/Abstraction.thy Metis_Examples/BigO.thy \
     1.7 -  Metis_Examples/BT.thy Metis_Examples/HO_Reas.thy \
     1.8 -  Metis_Examples/Message.thy Metis_Examples/Tarski.thy \
     1.9 -  Metis_Examples/TransClosure.thy Metis_Examples/set.thy
    1.10 +  Metis_Examples/BT.thy Metis_Examples/Clausifier.thy \
    1.11 +  Metis_Examples/HO_Reas.thy Metis_Examples/Message.thy \
    1.12 +  Metis_Examples/Tarski.thy Metis_Examples/TransClosure.thy \
    1.13 +  Metis_Examples/set.thy
    1.14  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Metis_Examples
    1.15  
    1.16