| changeset 61343 | 5b5656a63bd6 |
| parent 61076 | bdc1e2f0a86a |
| child 61424 | c3658c18b7bc |
| 61342:b98cd131e2b5 | 61343:5b5656a63bd6 |
|---|---|
1 (* Authors: Klaus Aehlig, Tobias Nipkow *) |
1 (* Authors: Klaus Aehlig, Tobias Nipkow *) |
2 |
2 |
3 section {* Testing implementation of normalization by evaluation *} |
3 section \<open>Testing implementation of normalization by evaluation\<close> |
4 |
4 |
5 theory Normalization_by_Evaluation |
5 theory Normalization_by_Evaluation |
6 imports Complex_Main |
6 imports Complex_Main |
7 begin |
7 begin |
8 |
8 |