src/HOL/IsaMakefile
changeset 33028 9aa8bfb1649d
parent 33027 9cf389429f6d
child 33083 1fad3160d873
child 33084 cd1579e0997a
child 33192 08a39a957ed7
     1.1 --- a/src/HOL/IsaMakefile	Tue Oct 20 19:52:04 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Oct 20 20:03:23 2009 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4    HOL-Number_Theory \
     1.5    HOL-Old_Number_Theory \
     1.6    HOL-Prolog \
     1.7 -  HOL-SET-Protocol \
     1.8 +  HOL-SET_Protocol \
     1.9    HOL-SizeChange \
    1.10    HOL-SMT-Examples \
    1.11    HOL-Statespace \
    1.12 @@ -932,16 +932,16 @@
    1.13  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Isar_Examples
    1.14  
    1.15  
    1.16 -## HOL-SET-Protocol
    1.17 +## HOL-SET_Protocol
    1.18  
    1.19 -HOL-SET-Protocol: HOL $(LOG)/HOL-SET-Protocol.gz
    1.20 +HOL-SET_Protocol: HOL $(LOG)/HOL-SET_Protocol.gz
    1.21  
    1.22 -$(LOG)/HOL-SET-Protocol.gz: $(OUT)/HOL SET-Protocol/ROOT.ML		\
    1.23 -  SET-Protocol/MessageSET.thy SET-Protocol/EventSET.thy			\
    1.24 -  SET-Protocol/PublicSET.thy SET-Protocol/Cardholder_Registration.thy	\
    1.25 -  SET-Protocol/Merchant_Registration.thy SET-Protocol/Purchase.thy	\
    1.26 -  SET-Protocol/document/root.tex
    1.27 -	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL SET-Protocol
    1.28 +$(LOG)/HOL-SET_Protocol.gz: $(OUT)/HOL SET_Protocol/ROOT.ML		\
    1.29 +  SET_Protocol/Message_SET.thy SET_Protocol/Event_SET.thy		\
    1.30 +  SET_Protocol/Public_SET.thy SET_Protocol/Cardholder_Registration.thy	\
    1.31 +  SET_Protocol/Merchant_Registration.thy SET_Protocol/Purchase.thy	\
    1.32 +  SET_Protocol/document/root.tex
    1.33 +	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL SET_Protocol
    1.34  
    1.35  
    1.36  ## HOL-Matrix
    1.37 @@ -1315,7 +1315,7 @@
    1.38  		$(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz		\
    1.39  		$(LOG)/HOL-Nominal-Examples.gz $(LOG)/HOL-IOA.gz	\
    1.40  		$(LOG)/HOL-Lattice $(LOG)/HOL-Matrix			\
    1.41 -		$(LOG)/HOL-Hahn_Banach.gz $(LOG)/HOL-SET-Protocol.gz	\
    1.42 +		$(LOG)/HOL-Hahn_Banach.gz $(LOG)/HOL-SET_Protocol.gz	\
    1.43  		$(LOG)/TLA-Inc.gz $(LOG)/TLA-Buffer.gz			\
    1.44  		$(LOG)/TLA-Memory.gz $(LOG)/HOL-Library.gz		\
    1.45  		$(LOG)/HOL-Unix.gz $(OUT)/HOL-Word $(LOG)/HOL-Word.gz	\