# HG changeset patch
# User blanchet
# Date 1504830178 -7200
# Node ID 6a3cefd026fbb1cec0c27c2a95956cae5681e084
# Parent  4bc61fea27009b6725edc27f55aea6543ba280d8
removed obsolete session

diff -r 4bc61fea2700 -r 6a3cefd026fb src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Sep 08 01:19:40 2017 +0200
+++ b/src/HOL/ROOT	Fri Sep 08 02:22:58 2017 +0200
@@ -304,16 +304,6 @@
   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-Computational_Algebra" +
   description {*
     Author: Clemens Ballarin, started 24 September 1999