--- 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