diff -r eda112e9cdee -r b4b5cbca2519 src/HOL/IMP/Procs_Dyn_Vars_Dyn.thy
--- a/src/HOL/IMP/Procs_Dyn_Vars_Dyn.thy	Fri Aug 12 20:55:22 2011 -0700
+++ b/src/HOL/IMP/Procs_Dyn_Vars_Dyn.thy	Sat Aug 13 11:57:13 2011 +0200
@@ -1,4 +1,4 @@
-theory Procs_Dyn_Vars_Dyn imports Util Procs
+theory Procs_Dyn_Vars_Dyn imports Procs
 begin
 
 subsubsection "Dynamic Scoping of Procedures and Variables"