| changeset 29962 | bd4dc7fa742d |
| parent 28924 | 5c8781b7d6a4 |
| child 30024 | 5e9d471afef3 |
| 29961:c7849326100e | 29962:bd4dc7fa742d |
|---|---|
1 (* Title: Tools/code/code_funcgr.ML |
1 (* Title: Tools/code/code_funcgr.ML |
2 ID: $Id$ |
|
3 Author: Florian Haftmann, TU Muenchen |
2 Author: Florian Haftmann, TU Muenchen |
4 |
3 |
5 Retrieving, normalizing and structuring defining equations in graph |
4 Retrieving, normalizing and structuring code equations in graph |
6 with explicit dependencies. |
5 with explicit dependencies. |
7 *) |
6 *) |
8 |
7 |
9 signature CODE_FUNCGR = |
8 signature CODE_FUNCGR = |
10 sig |
9 sig |