src/HOL/ROOT
changeset 68443 43055b016688
parent 68312 e9b5f25f6712
child 68445 c183a6a69f2d
     1.1 --- a/src/HOL/ROOT	Tue Jun 12 11:18:35 2018 +0100
     1.2 +++ b/src/HOL/ROOT	Tue Jun 12 16:08:57 2018 +0100
     1.3 @@ -302,6 +302,8 @@
     1.4      More_Group
     1.5      More_Finite_Product
     1.6      Multiplicative_Group
     1.7 +    Zassenhaus            (* The Zassenhaus lemma *)
     1.8 +
     1.9  
    1.10      (* Rings *)
    1.11      Divisibility         (* Rings *)