src/HOL/IsaMakefile
changeset 28098 c92850d2d16c
parent 28054 2b84d34c5d02
child 28109 3f76ae637f71
     1.1 --- a/src/HOL/IsaMakefile	Tue Sep 02 22:20:27 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Sep 02 22:37:20 2008 +0200
     1.3 @@ -215,6 +215,7 @@
     1.4    Main.thy \
     1.5    Map.thy \
     1.6    NatBin.thy \
     1.7 +  Nat_Int_Bij.thy \
     1.8    nat_simprocs.ML \
     1.9    Presburger.thy \
    1.10    Real/ContNotDenum.thy \
    1.11 @@ -288,7 +289,7 @@
    1.12    Library/Executable_Set.thy Library/Infinite_Set.thy			\
    1.13    Library/FuncSet.thy			\
    1.14    Library/Library.thy Library/List_Prefix.thy Library/State_Monad.thy	\
    1.15 -  Library/Multiset.thy Library/NatPair.thy Library/Permutation.thy	\
    1.16 +  Library/Multiset.thy Library/Permutation.thy	\
    1.17    Library/Primes.thy Library/Pocklington.thy Library/Quotient.thy	\
    1.18    Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy	\
    1.19    Library/README.html Library/Continuity.thy				\
    1.20 @@ -530,7 +531,7 @@
    1.21  
    1.22  HOL-Auth: HOL $(LOG)/HOL-Auth.gz
    1.23  
    1.24 -$(LOG)/HOL-Auth.gz: $(OUT)/HOL Library/NatPair.thy			\
    1.25 +$(LOG)/HOL-Auth.gz: $(OUT)/HOL 						\
    1.26    Auth/CertifiedEmail.thy Auth/Event.thy Auth/Message.thy		\
    1.27    Auth/NS_Public.thy Auth/NS_Public_Bad.thy Auth/NS_Shared.thy		\
    1.28    Auth/OtwayRees.thy Auth/OtwayReesBella.thy Auth/OtwayRees_AN.thy	\