# HG changeset patch
# User wenzelm
# Date 858854338 -3600
# Node ID cce436a62740cdacd13cd666a68206575e649569
# Parent  0b0d9e3bc661dfee8c2ade132b29c6b5e9191aba
improved session names;

diff -r 0b0d9e3bc661 -r cce436a62740 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Mar 20 11:32:57 1997 +0100
+++ b/src/HOL/IsaMakefile	Thu Mar 20 11:38:58 1997 +0100
@@ -86,8 +86,8 @@
  $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML)
 
 IOA:	$(OUT)/HOL $(IOA_FILES)
-	@$(ISATOOL) usedir $(OUT)/HOL IOA/NTP
-	@$(ISATOOL) usedir $(OUT)/HOL IOA/ABP
+	@$(ISATOOL) usedir -s IOA-NTP $(OUT)/HOL IOA/NTP
+	@$(ISATOOL) usedir -s IOA-ABP $(OUT)/HOL IOA/ABP
 
 
 ## Authentication & Security Protocols
@@ -178,9 +178,9 @@
 
 AxClasses: $(OUT)/HOL $(AXCLASSES_FILES)
 	@$(ISATOOL) usedir $(OUT)/HOL AxClasses
-	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Group
-	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Lattice
-	@$(ISATOOL) usedir $(OUT)/HOL AxClasses/Tutorial
+	@$(ISATOOL) usedir -s AxClasses-Group $(OUT)/HOL AxClasses/Group
+	@$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice
+	@$(ISATOOL) usedir -s AxClasses-Tutorial $(OUT)/HOL AxClasses/Tutorial
 
 
 ## Miscellaneous examples