--- a/src/HOL/ROOT Tue Jun 12 11:18:35 2018 +0100
+++ b/src/HOL/ROOT Tue Jun 12 16:08:57 2018 +0100
@@ -302,6 +302,8 @@
More_Group
More_Finite_Product
Multiplicative_Group
+ Zassenhaus (* The Zassenhaus lemma *)
+
(* Rings *)
Divisibility (* Rings *)