--- a/src/HOL/ROOT Mon Jul 30 20:43:07 2012 +0200
+++ b/src/HOL/ROOT Tue Jul 31 12:38:01 2012 +0200
@@ -515,20 +515,20 @@
theories Cplex
files "document/root.tex"
-session TLA! = HOL +
+session TLA = HOL +
description {* The Temporal Logic of Actions *}
options [document = false]
theories TLA
-session Inc in "TLA/Inc" = TLA +
+session Inc in "TLA/Inc" = "HOL-TLA" +
options [document = false]
theories Inc
-session Buffer in "TLA/Buffer" = TLA +
+session Buffer in "TLA/Buffer" = "HOL-TLA" +
options [document = false]
theories DBuffer
-session Memory in "TLA/Memory" = TLA +
+session Memory in "TLA/Memory" = "HOL-TLA" +
options [document = false]
theories MemoryImplementation