equal
deleted
inserted
replaced
1 header "Arithmetic and Boolean Expressions" |
1 section "Arithmetic and Boolean Expressions" |
2 |
2 |
3 theory AExp imports Main begin |
3 theory AExp imports Main begin |
4 |
4 |
5 subsection "Arithmetic Expressions" |
5 subsection "Arithmetic Expressions" |
6 |
6 |