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/Doc/Main/Main_Doc.thy
changeset 80453 7a2d9e3fcdd5
parent 79766 feec445a82c3 
--- a/src/Doc/Main/Main_Doc.thy	Thu Jun 27 16:52:17 2024 +0000
+++ b/src/Doc/Main/Main_Doc.thy	Sun Jun 30 06:30:08 2024 +0000
@@ -306,7 +306,9 @@
 
 \section*{Algebra}
 
-Theories \<^theory>\<open>HOL.Groups\<close>, \<^theory>\<open>HOL.Rings\<close>, \<^theory>\<open>HOL.Fields\<close> and \<^theory>\<open>HOL.Divides\<close> define a large collection of classes describing common algebraic
+Theories \<^theory>\<open>HOL.Groups\<close>, \<^theory>\<open>HOL.Rings\<close>,
+\<^theory>\<open>HOL.Euclidean_Rings\<close> and \<^theory>\<open>HOL.Fields\<close>
+define a large collection of classes describing common algebraic
 structures from semigroups up to fields. Everything is done in terms of
 overloaded operators:
isabelle