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.
killed obsolete session
authorblanchet
Mon, 20 Jan 2014 18:24:56 +0100
changeset 55064 8dd21c4b0501
parent 55063 6207fd64519b
child 55065 6d0af3c10864
killed obsolete session
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Mon Jan 20 18:24:56 2014 +0100
+++ b/src/HOL/ROOT	Mon Jan 20 18:24:56 2014 +0100
@@ -699,14 +699,7 @@
     "document/root.tex"
     "document/root.bib"
 
-session "HOL-BNF-FP" in BNF = HOL +
-  description {*
-    Bounded Natural Functors for (Co)datatypes, Fixpoints.
-  *}
-  options [document = false]
-  theories BNF_LFP BNF_GFP
-
-session "HOL-BNF" in BNF = "HOL-BNF-FP" +
+session "HOL-BNF" in BNF = HOL +
   description {*
     Bounded Natural Functors for (Co)datatypes, Including More BNFs.
   *}
isabelle