Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed import
authorimmler
Wed, 14 Nov 2018 14:25:57 -0500
changeset 69298 360bde07daf9
parent 69297 4cf8a0432650
child 69306 341ebf35464b
fixed import
src/HOL/Types_To_Sets/Examples/Group_On_With.thy file | annotate | diff | comparison | revisions 
--- 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>
isabelle