fixed import draft
authorimmler
Wed, 14 Nov 2018 14:25:57 -0500
changeset 69304 550ac608e34e
parent 69303 98bd0da01e76
fixed import
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>