| changeset 44177 | b4b5cbca2519 |
| parent 43158 | 686fa0a0696e |
| child 44923 | b80108b346a9 |
--- a/src/HOL/IMP/Procs_Stat_Vars_Dyn.thy Fri Aug 12 20:55:22 2011 -0700 +++ b/src/HOL/IMP/Procs_Stat_Vars_Dyn.thy Sat Aug 13 11:57:13 2011 +0200 @@ -1,4 +1,4 @@ -theory Procs_Stat_Vars_Dyn imports Util Procs +theory Procs_Stat_Vars_Dyn imports Procs begin subsubsection "Static Scoping of Procedures, Dynamic of Variables"