| changeset 37744 | 3daaf23b9ab4 |
| parent 37442 | 037ee7b712b2 |
| child 38291 | 62abd53f37fa |
| 37743:0a3fa8fbcdc5 | 37744:3daaf23b9ab4 |
|---|---|
1 (* Title: Tools/code/code_preproc.ML |
1 (* Title: Tools/Code/code_preproc.ML |
2 Author: Florian Haftmann, TU Muenchen |
2 Author: Florian Haftmann, TU Muenchen |
3 |
3 |
4 Preprocessing code equations into a well-sorted system |
4 Preprocessing code equations into a well-sorted system |
5 in a graph with explicit dependencies. |
5 in a graph with explicit dependencies. |
6 *) |
6 *) |