changeset 44177 | b4b5cbca2519 |
parent 43158 | 686fa0a0696e |
child 44923 | b80108b346a9 |
--- 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"