src/HOL/ROOT
changeset 59898 81c70bdbd908
parent 59810 e749a0f2f401
child 59903 9d70a39d1cf3
     1.1 --- a/src/HOL/ROOT	Wed Apr 01 18:18:12 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Apr 01 18:22:55 2015 +0200
     1.3 @@ -705,7 +705,7 @@
     1.4      "ex/Measure_Not_CCC"
     1.5    document_files "root.tex"
     1.6  
     1.7 -session "HOL-Nominal" (main) in Nominal = HOL +
     1.8 +session "HOL-Nominal" in Nominal = HOL +
     1.9    options [document = false]
    1.10    theories Nominal
    1.11