changeset 58889 | 5b7a9633cfa8 |
parent 55836 | 8093590e49e4 |
child 67406 | 23307fd33906 |
58888:9537bf1c4853 | 58889:5b7a9633cfa8 |
---|---|
1 header "Small-Step Semantics of Commands" |
1 section "Small-Step Semantics of Commands" |
2 |
2 |
3 theory Small_Step imports Star Big_Step begin |
3 theory Small_Step imports Star Big_Step begin |
4 |
4 |
5 subsection "The transition relation" |
5 subsection "The transition relation" |
6 |
6 |