# HG changeset patch
# User wenzelm
# Date 1343158613 -7200
# Node ID 94a9650f79fb450e8dab1c8d7398b67b99a2c2db
# Parent  691d0b44a79312f0e38e5a75e54138570d16acc6
tuned order;

diff -r 691d0b44a793 -r 94a9650f79fb src/FOL/ROOT
--- 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
diff -r 691d0b44a793 -r 94a9650f79fb src/HOL/ROOT
--- 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
 
diff -r 691d0b44a793 -r 94a9650f79fb src/ZF/ROOT
--- 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