--- a/src/HOL/ROOT Mon Oct 24 21:14:38 2016 +0200
+++ b/src/HOL/ROOT Mon Oct 24 22:42:07 2016 +0200
@@ -282,6 +282,16 @@
options [document = false]
theories [quick_and_dirty] Nitpick_Examples
+session "HOL-Nunchaku" in Nunchaku = HOL +
+ description {*
+ Author: Jasmin Blanchette, Inria Nancy, LORIA, MPII
+ Copyright 2015, 2016
+
+ Nunchaku: Yet another counterexample generator for Isabelle/HOL.
+ *}
+ options [document = false]
+ theories Nunchaku
+
session "HOL-Algebra" (main timing) in Algebra = HOL +
description {*
Author: Clemens Ballarin, started 24 September 1999