src/HOL/Codegenerator_Test/Candidates.thy
changeset 69252 fc359b60121c
parent 68484 59793df7f853
child 69597 ff784d5a5bfb
     1.1 --- a/src/HOL/Codegenerator_Test/Candidates.thy	Wed Nov 07 11:08:11 2018 +0000
     1.2 +++ b/src/HOL/Codegenerator_Test/Candidates.thy	Wed Nov 07 11:08:12 2018 +0000
     1.3 @@ -7,6 +7,7 @@
     1.4  imports
     1.5    Complex_Main
     1.6    "HOL-Library.Library"
     1.7 +  "HOL-Library.Sorting_Algorithms"
     1.8    "HOL-Library.Subseq_Order"
     1.9    "HOL-Library.RBT"
    1.10    "HOL-Data_Structures.Tree_Map"