# HG changeset patch
# User immler
# Date 1542223557 18000
# Node ID 360bde07daf9dbec6e4837edb8c75dc0be89e97e
# Parent  4cf8a0432650557ae6ad7fd77c3897cbe7faee2e
fixed import

diff -r 4cf8a0432650 -r 360bde07daf9 src/HOL/Types_To_Sets/Examples/Group_On_With.thy
--- a/src/HOL/Types_To_Sets/Examples/Group_On_With.thy	Wed Nov 14 14:17:30 2018 -0500
+++ b/src/HOL/Types_To_Sets/Examples/Group_On_With.thy	Wed Nov 14 14:25:57 2018 -0500
@@ -4,7 +4,7 @@
 theory Group_On_With
 imports
   Prerequisites
-  Types_To_Sets
+  "../Types_To_Sets"
 begin
 
 subsection \<open>\<^emph>\<open>on\<close> carrier set \<^emph>\<open>with\<close> explicit group operations\<close>