changeset 37744 | 3daaf23b9ab4 |
parent 37705 | 8e44a83df34a |
child 37841 | ff1c9cb6dc5d |
37743:0a3fa8fbcdc5 | 37744:3daaf23b9ab4 |
---|---|
1 (* Title: Tools/code/code_thingol.ML |
1 (* Title: Tools/Code/code_thingol.ML |
2 Author: Florian Haftmann, TU Muenchen |
2 Author: Florian Haftmann, TU Muenchen |
3 |
3 |
4 Intermediate language ("Thin-gol") representing executable code. |
4 Intermediate language ("Thin-gol") representing executable code. |
5 Representation and translation. |
5 Representation and translation. |
6 *) |
6 *) |