changeset 65956 | 639eb3617a86 |
parent 65417 | fc41a5650fb1 |
child 66014 | 2f45f4abf0a9 |
--- a/src/HOL/Codegenerator_Test/Candidates.thy Sun May 28 15:46:26 2017 +0200 +++ b/src/HOL/Codegenerator_Test/Candidates.thy Mon May 29 09:14:15 2017 +0200 @@ -7,7 +7,7 @@ imports Complex_Main "~~/src/HOL/Library/Library" - "~~/src/HOL/Library/Sublist_Order" + "~~/src/HOL/Library/Subseq_Order" "~~/src/HOL/Data_Structures/Tree_Map" "~~/src/HOL/Data_Structures/Tree_Set" "~~/src/HOL/Computational_Algebra/Computational_Algebra"