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.
updated ROOT according to 3defa60a7ae3;
authorwenzelm
Mon, 30 Jul 2012 12:08:25 +0200
changeset 48598 7f4561d43d39
parent 48597 4b8559b227ed
child 48599 5e64b7770f35
updated ROOT according to 3defa60a7ae3;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Mon Jul 30 12:04:37 2012 +0200
+++ b/src/HOL/ROOT	Mon Jul 30 12:08:25 2012 +0200
@@ -736,6 +736,8 @@
   options [document = false]
   theories
     Quickcheck_Examples (* FIXME more *)
+  theories [condition = ISABELLE_GHC]
+    Quickcheck_Narrowing_Examples
 
 session Quickcheck_Benchmark = HOL +
   theories [condition = ISABELLE_BENCHMARK]
isabelle