# HG changeset patch
# User haftmann
# Date 1247581650 -7200
# Node ID e425fe0ff24a7ae18c11dd1f9512e869e6d22fe1
# Parent  091f1e3041205898f02a48e10f1d7f73b46d609a
more canonical import

diff -r 091f1e304120 -r e425fe0ff24a src/HOL/ex/Eval_Examples.thy
--- a/src/HOL/ex/Eval_Examples.thy	Tue Jul 14 15:55:27 2009 +0200
+++ b/src/HOL/ex/Eval_Examples.thy	Tue Jul 14 16:27:30 2009 +0200
@@ -3,7 +3,7 @@
 header {* Small examples for evaluation mechanisms *}
 
 theory Eval_Examples
-imports Code_Eval Rational
+imports Complex_Main
 begin
 
 text {* evaluation oracle *}