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/Algebra/Free_Abelian_Groups.thy
changeset 70660 373d95cf1b98
parent 70065 cc89a395b5a3
child 72630 4167d3d3d478 
--- a/src/HOL/Algebra/Free_Abelian_Groups.thy	Fri Sep 06 15:45:05 2019 +0200
+++ b/src/HOL/Algebra/Free_Abelian_Groups.thy	Fri Sep 06 15:50:57 2019 +0200
@@ -2,7 +2,7 @@
 
 theory Free_Abelian_Groups
   imports
-    Product_Groups "../Cardinals/Cardinal_Arithmetic"
+    Product_Groups "HOL-Cardinals.Cardinal_Arithmetic"
    "HOL-Library.Countable_Set" "HOL-Library.Poly_Mapping" "HOL-Library.Equipollence"
 
 begin
isabelle