| changeset 35762 | af3ff2ba4c54 |
| parent 35068 | 544867142ea4 |
| child 40945 | b8703f63bfb2 |
| 35761:c4a698ee83b4 | 35762:af3ff2ba4c54 |
|---|---|
1 (* Title: ZF/IMP/Com.thy |
1 (* Title: ZF/IMP/Com.thy |
2 ID: $Id$ |
|
3 Author: Heiko Loetzbeyer and Robert Sandner, TU München |
2 Author: Heiko Loetzbeyer and Robert Sandner, TU München |
4 *) |
3 *) |
5 |
4 |
6 header {* Arithmetic expressions, boolean expressions, commands *} |
5 header {* Arithmetic expressions, boolean expressions, commands *} |
7 |
6 |