added new theory Yahalom_Bad
authorpaulson
Thu Mar 18 11:19:03 1999 +0100 (1999-03-18)
changeset 64012462d0c077b5
parent 6400 1f495d4d922b
child 6402 2b23e14dd386
added new theory Yahalom_Bad
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Thu Mar 18 10:41:33 1999 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Mar 18 11:19:03 1999 +0100
     1.3 @@ -153,7 +153,8 @@
     1.4    Auth/OtwayRees_Bad.thy Auth/Public.ML Auth/Public.thy Auth/ROOT.ML \
     1.5    Auth/Recur.ML Auth/Recur.thy Auth/Shared.ML Auth/Shared.thy \
     1.6    Auth/TLS.ML Auth/TLS.thy Auth/WooLam.ML Auth/WooLam.thy \
     1.7 -  Auth/Yahalom.ML Auth/Yahalom.thy Auth/Yahalom2.ML Auth/Yahalom2.thy
     1.8 +  Auth/Yahalom.ML Auth/Yahalom.thy Auth/Yahalom2.ML Auth/Yahalom2.thy \
     1.9 +  Auth/Yahalom_Bad.ML Auth/Yahalom_Bad.thy
    1.10  	@$(ISATOOL) usedir $(OUT)/HOL Auth
    1.11  
    1.12