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