# HG changeset patch # User wenzelm # Date 1299163562 -3600 # Node ID 335895ffbd9416fb751a9bf103f91d9d90456586 # Parent 392364739e5d8cb130f638324b4330c1f93768a2 modernized imports; diff -r 392364739e5d -r 335895ffbd94 src/HOL/Codegenerator_Test/Candidates.thy --- a/src/HOL/Codegenerator_Test/Candidates.thy Thu Mar 03 15:36:54 2011 +0100 +++ b/src/HOL/Codegenerator_Test/Candidates.thy Thu Mar 03 15:46:02 2011 +0100 @@ -7,7 +7,7 @@ imports Complex_Main Library - List_Prefix + "~~/src/HOL/Library/List_Prefix" "~~/src/HOL/Number_Theory/Primes" "~~/src/HOL/ex/Records" begin