changeset 49077 | 154f25a162e3 |
parent 41884 | 335895ffbd94 |
child 51160 | 599ff65b85e2 |
--- a/src/HOL/Codegenerator_Test/Candidates.thy Mon Sep 03 11:30:29 2012 +0200 +++ b/src/HOL/Codegenerator_Test/Candidates.thy Wed Aug 29 10:27:56 2012 +0900 @@ -7,7 +7,7 @@ imports Complex_Main Library - "~~/src/HOL/Library/List_Prefix" + "~~/src/HOL/Library/Sublist" "~~/src/HOL/Number_Theory/Primes" "~~/src/HOL/ex/Records" begin