Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ROOT
changeset 68443 43055b016688
parent 68312 e9b5f25f6712
child 68445 c183a6a69f2d 
--- 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 *)
isabelle