1.1 --- a/src/HOL/ROOT	Mon Jul 30 20:43:07 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Jul 31 12:38:01 2012 +0200
     1.3 @@ -515,20 +515,20 @@
     1.4    theories Cplex
     1.5    files "document/root.tex"
     1.6  
     1.7 -session TLA! = HOL +
     1.8 +session TLA = HOL +
     1.9    description {* The Temporal Logic of Actions *}
    1.10    options [document = false]
    1.11    theories TLA
    1.12  
    1.13 -session Inc in "TLA/Inc" = TLA +
    1.14 +session Inc in "TLA/Inc" = "HOL-TLA" +
    1.15    options [document = false]
    1.16    theories Inc
    1.17  
    1.18 -session Buffer in "TLA/Buffer" = TLA +
    1.19 +session Buffer in "TLA/Buffer" = "HOL-TLA" +
    1.20    options [document = false]
    1.21    theories DBuffer
    1.22  
    1.23 -session Memory in "TLA/Memory" = TLA +
    1.24 +session Memory in "TLA/Memory" = "HOL-TLA" +
    1.25    options [document = false]
    1.26    theories MemoryImplementation
    1.27