src/HOL/Data_Structures/Base_FDS.thy
changeset 66672 75694b28ef08
parent 66499 8367a4f25781
child 67399 eab6ce8368fa
     1.1 --- a/src/HOL/Data_Structures/Base_FDS.thy	Sun Sep 17 17:37:40 2017 +0200
     1.2 +++ b/src/HOL/Data_Structures/Base_FDS.thy	Sun Sep 17 21:46:17 2017 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  theory Base_FDS
     1.5 -imports "../Library/Pattern_Aliases"
     1.6 +imports "HOL-Library.Pattern_Aliases"
     1.7  begin
     1.8  
     1.9  declare Let_def [simp]