--- a/src/FOL/ROOT Tue Jul 24 21:26:28 2012 +0200
+++ b/src/FOL/ROOT Tue Jul 24 21:36:53 2012 +0200
@@ -1,4 +1,4 @@
-session FOL! (10) in "." = Pure +
+session FOL! in "." = Pure +
description "First-Order Logic with Natural Deduction"
options [proofs = 2]
theories FOL
--- a/src/HOL/ROOT Tue Jul 24 21:26:28 2012 +0200
+++ b/src/HOL/ROOT Tue Jul 24 21:36:53 2012 +0200
@@ -19,7 +19,7 @@
options [document = false]
theories Main
-session "HOL-Proofs"! (2) in "." = Pure +
+session "HOL-Proofs"! (4) in "." = Pure +
description {* HOL-Main with proof terms *}
options [document = false, proofs = 2, parallel_proofs = 0]
theories Main
@@ -570,7 +570,7 @@
"ex/Koepf_Duermuth_Countermeasure"
files "document/root.tex"
-session Nominal = HOL +
+session Nominal (2) = HOL +
options [document = false]
theories Nominal
--- a/src/ZF/ROOT Tue Jul 24 21:26:28 2012 +0200
+++ b/src/ZF/ROOT Tue Jul 24 21:36:53 2012 +0200
@@ -1,4 +1,4 @@
-session ZF! (10) in "." = Pure +
+session ZF! in "." = Pure +
description {*
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1995 University of Cambridge