# HG changeset patch
# User berghofe
# Date 1185194067 -7200
# Node ID 391742a44617ffa46b3a274a6ded82f7a9377447
# Parent  ee98c2528a8f25807850d3217abe48f5dd2489a5
Removed legacy ML files in Protocol case study.

diff -r ee98c2528a8f -r 391742a44617 doc-src/TutorialI/IsaMakefile
--- a/doc-src/TutorialI/IsaMakefile	Mon Jul 23 14:31:34 2007 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Mon Jul 23 14:34:27 2007 +0200
@@ -180,10 +180,8 @@
 HOL-Protocol: HOL $(LOG)/HOL-Protocol.gz
 
 $(LOG)/HOL-Protocol.gz: $(OUT)/HOL Protocol/ROOT.ML  \
-  Protocol/Message.thy Protocol/Message_lemmas.ML  \
-  Protocol/Event.thy Protocol/Event_lemmas.ML  \
-  Protocol/Public.thy Protocol/Public_lemmas.ML \
-  Protocol/NS_Public.thy    
+  Protocol/Message.thy Protocol/Event.thy \
+  Protocol/Public.thy Protocol/NS_Public.thy    
 	$(USEDIR) Protocol
 	@rm -f tutorial.dvi