src/HOL/IsaMakefile
changeset 6254 f6335d319e9f
parent 6250 354848db4052
child 6302 957d8e203be1
     1.1 --- a/src/HOL/IsaMakefile	Fri Feb 05 21:26:20 1999 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Feb 08 13:02:42 1999 +0100
     1.3 @@ -313,9 +313,9 @@
     1.4  
     1.5  TLA: HOL $(OUT)/TLA
     1.6  
     1.7 -$(OUT)/TLA: $(OUT)/HOL TLA/Action.ML TLA/Action.thy TLA/IntLemmas.ML \
     1.8 -  TLA/Intensional.ML TLA/Intensional.thy TLA/ROOT.ML TLA/Stfun.ML \
     1.9 -  TLA/Stfun.thy TLA/TLA.ML TLA/TLA.thy TLA/cladata.ML TLA/hypsubst.ML
    1.10 +$(OUT)/TLA: $(OUT)/HOL TLA/Action.ML TLA/Action.thy TLA/Init.ML \
    1.11 +  TLA/Init.thy TLA/IntLemmas.ML TLA/Intensional.ML TLA/Intensional.thy \
    1.12 +  TLA/ROOT.ML TLA/Stfun.ML TLA/Stfun.thy TLA/TLA.ML TLA/TLA.thy
    1.13  	@cd TLA; $(ISATOOL) usedir -b $(OUT)/HOL TLA
    1.14  
    1.15