--- a/src/HOL/ROOT Thu Sep 01 11:41:10 2016 +0200
+++ b/src/HOL/ROOT Thu Sep 01 12:10:52 2016 +0200
@@ -978,6 +978,7 @@
Quickcheck_Lattice_Examples
Completeness
Quickcheck_Interfaces
+ Quickcheck_Nesting_Example
theories [condition = ISABELLE_GHC]
Hotel_Example
Quickcheck_Narrowing_Examples