Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed base session for "HOL-BNF" for faster building in the typical case
authorblanchet
Fri, 21 Sep 2012 18:25:17 +0200
changeset 49517 c473c8749cd1
parent 49516 d4859efc1096
child 49518 b377da40244b
changed base session for "HOL-BNF" for faster building in the typical case
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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
isabelle