--- a/src/HOL/ROOT Thu Jul 26 11:46:30 2012 +0200
+++ b/src/HOL/ROOT Thu Jul 26 11:52:08 2012 +0200
@@ -1,4 +1,4 @@
-session HOL! (1) in "." = Pure +
+session HOL! in "." = Pure +
description {* Classical Higher-order Logic *}
options [document_graph]
theories Complex_Main
@@ -19,7 +19,7 @@
options [document = false]
theories Main
-session "HOL-Proofs"! (4) in "." = Pure +
+session "HOL-Proofs"! in "." = Pure +
description {* HOL-Main with proof terms *}
options [document = false, proofs = 2, parallel_proofs = 0]
theories Main
@@ -571,7 +571,7 @@
"ex/Koepf_Duermuth_Countermeasure"
files "document/root.tex"
-session Nominal (2) = HOL +
+session Nominal = HOL +
options [document = false]
theories Nominal
@@ -760,7 +760,7 @@
Predicate_Compile_Tests
Specialisation_Examples
-session HOLCF! (3) = HOL +
+session HOLCF! = HOL +
description {*
Author: Franz Regensburger
Author: Brian Huffman