src/HOL/IsaMakefile
changeset 32636 55a0be42327c
parent 32632 8ae912371831
child 32657 5f13912245ff
child 32662 2faf1148c062
     1.1 --- a/src/HOL/IsaMakefile	Mon Sep 21 16:01:30 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Sep 21 16:01:38 2009 +0200
     1.3 @@ -836,7 +836,7 @@
     1.4  
     1.5  HOL-Bali: HOL $(LOG)/HOL-Bali.gz
     1.6  
     1.7 -$(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/AxCompl.thy Bali/AxExample.thy	\
     1.8 +$(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/Bali.thy Bali/AxCompl.thy Bali/AxExample.thy	\
     1.9    Bali/AxSem.thy Bali/AxSound.thy Bali/Basis.thy Bali/Conform.thy	\
    1.10    Bali/Decl.thy Bali/DeclConcepts.thy Bali/Eval.thy Bali/Evaln.thy	\
    1.11    Bali/Example.thy Bali/Name.thy Bali/ROOT.ML Bali/State.thy		\
    1.12 @@ -1026,6 +1026,7 @@
    1.13  HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz
    1.14  
    1.15  $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal 	\
    1.16 +  Nominal/Examples/Nominal_Examples.thy \
    1.17    Nominal/Examples/CK_Machine.thy \
    1.18    Nominal/Examples/CR.thy \
    1.19    Nominal/Examples/CR_Takahashi.thy \