# HG changeset patch
# User haftmann
# Date 1174913585 -7200
# Node ID 783c8dbe3ade2db54ad9db8381692e6678695dfa
# Parent  8c000a2ea2f28fba6df2c434b8483fbe65108252
moved Eval theory to library

diff -r 8c000a2ea2f2 -r 783c8dbe3ade src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Mon Mar 26 14:53:04 2007 +0200
+++ b/src/HOL/ex/ROOT.ML	Mon Mar 26 14:53:05 2007 +0200
@@ -8,7 +8,7 @@
 no_document use_thy "GCD";
 
 no_document time_use_thy "Classpackage";
-no_document time_use_thy "CodeEval";
+no_document time_use_thy "Eval_examples";
 no_document time_use_thy "CodeRandom";
 no_document time_use_thy "Codegenerator_Rat";
 no_document time_use_thy "Codegenerator";