| changeset 288 | a9003e6d0463 |
| parent 261 | ca1fe315cb0a |
| 287:d5a0e25c4742 | 288:a9003e6d0463 |
|---|---|
1 (* Title: thys/Turing.thy |
1 (* Title: thys/Turing.thy |
2 Author: Jian Xu, Xingyuan Zhang, and Christian Urban |
2 Author: Jian Xu, Xingyuan Zhang, and Christian Urban |
3 *) |
3 *) |
4 |
4 |
5 header {* Turing Machines *} |
5 chapter {* Turing Machines *} |
6 |
6 |
7 theory Turing2 |
7 theory Turing2 |
8 imports Main |
8 imports Main |
9 begin |
9 begin |
10 |
10 |