| changeset 44177 | b4b5cbca2519 |
| parent 43158 | 686fa0a0696e |
| child 44923 | b80108b346a9 |
| 44176:eda112e9cdee | 44177:b4b5cbca2519 |
|---|---|
1 theory Procs_Stat_Vars_Dyn imports Util Procs |
1 theory Procs_Stat_Vars_Dyn imports Procs |
2 begin |
2 begin |
3 |
3 |
4 subsubsection "Static Scoping of Procedures, Dynamic of Variables" |
4 subsubsection "Static Scoping of Procedures, Dynamic of Variables" |
5 |
5 |
6 type_synonym penv = "(name \<times> com) list" |
6 type_synonym penv = "(name \<times> com) list" |