1.1 --- a/src/HOL/IsaMakefile	Fri Mar 02 13:18:56 2001 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Mar 02 13:26:55 2001 +0100
     1.3 @@ -301,7 +301,7 @@
     1.4  HOL-Auth: HOL $(LOG)/HOL-Auth.gz
     1.5  
     1.6  $(LOG)/HOL-Auth.gz: $(OUT)/HOL Auth/Event_lemmas.ML Auth/Event.thy \
     1.7 -  Auth/Message.ML Auth/Message.thy Auth/NS_Public.thy \
     1.8 +  Auth/Message_lemmas.ML Auth/Message.thy Auth/NS_Public.thy \
     1.9    Auth/NS_Public_Bad.thy \
    1.10    Auth/NS_Shared.thy Auth/OtwayRees.ML Auth/OtwayRees.thy \
    1.11    Auth/OtwayRees_AN.ML Auth/OtwayRees_AN.thy Auth/OtwayRees_Bad.ML \