| changeset 58889 | 5b7a9633cfa8 |
| parent 53015 | a1119cf551e8 |
| child 67406 | 23307fd33906 |
| 58888:9537bf1c4853 | 58889:5b7a9633cfa8 |
|---|---|
1 (* Author: Tobias Nipkow *) |
1 (* Author: Tobias Nipkow *) |
2 |
2 |
3 header "Definite Initialization Analysis" |
3 section "Definite Initialization Analysis" |
4 |
4 |
5 theory Vars imports Com |
5 theory Vars imports Com |
6 begin |
6 begin |
7 |
7 |
8 subsection "The Variables in an Expression" |
8 subsection "The Variables in an Expression" |