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"