# HG changeset patch
# User blanchet
# Date 1348244717 -7200
# Node ID c473c8749cd17682976591c96dc9cdd612d32a0d
# Parent  d4859efc1096414b34e4b5f6565ccf089427106c
changed base session for "HOL-BNF" for faster building in the typical case

diff -r d4859efc1096 -r c473c8749cd1 src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Sep 21 18:25:17 2012 +0200
+++ b/src/HOL/ROOT	Fri Sep 21 18:25:17 2012 +0200
@@ -616,7 +616,7 @@
   options [document = false]
   theories BNF_LFP
 
-session "HOL-BNF" in BNF = "HOL-BNF-LFP" +
+session "HOL-BNF" in BNF = "HOL-Cardinals" +
   description {* Bounded Natural Functors for (Co)datatypes *}
   options [document = false]
   theories BNF