changed base session for "HOL-BNF" for faster building in the typical case
authorblanchet
Fri Sep 21 18:25:17 2012 +0200 (2012-09-21)
changeset 49517c473c8749cd1
parent 49516 d4859efc1096
child 49518 b377da40244b
changed base session for "HOL-BNF" for faster building in the typical case
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Fri Sep 21 18:25:17 2012 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Sep 21 18:25:17 2012 +0200
     1.3 @@ -616,7 +616,7 @@
     1.4    options [document = false]
     1.5    theories BNF_LFP
     1.6  
     1.7 -session "HOL-BNF" in BNF = "HOL-BNF-LFP" +
     1.8 +session "HOL-BNF" in BNF = "HOL-Cardinals" +
     1.9    description {* Bounded Natural Functors for (Co)datatypes *}
    1.10    options [document = false]
    1.11    theories BNF